Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Timed Petri Nets as a verification tool
Miryam Barad
*
*
Corresponding author for this work
Engineering General
Research output
:
Contribution to journal
›
Conference article
›
peer-review
12
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Timed Petri Nets as a verification tool'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Simulation Result
100%
Simulation Mode
100%
Queueing Network
100%
Design of Experiments
50%
Analytical Approach
50%
Simulation Model
50%
Petri Net Model
50%
Processing Resource
50%
Keyphrases
Timed Petri Nets
100%
Verification Tool
100%
Steady State
33%
Simulation Model
33%
Queueing Networks
33%
Numerical Results
16%
Specific Types
16%
Processing Resources
16%
Simulation-based
16%
Computer-based Simulation
16%
Analytical Approach
16%
Generic Approach
16%
Fast Calculation
16%
Yard
16%
Network Simulation
16%
Factorial Experimental Design
16%
Petri Net Model
16%
Design Frames
16%