Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Request a data update (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Search by expertise, name or affiliation
Timed Petri Nets as a verification tool
Miryam Barad
Engineering General
Research output
:
Contribution to journal
›
Conference article
›
peer-review
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
Mathematics
Timed Petri Nets
100%
Resources
47%
Simulation Model
45%
Queueing Networks
31%
Simulation
23%
Network Simulation
20%
Verify
20%
Long-run
15%
Network Model
14%
Experimental design
14%
Factorial
13%
Discrepancy
12%
Evidence
10%
Numerical Results
8%
Decompose
8%
Estimate
5%
Model
4%
Engineering & Materials Science
Petri nets
61%
Queueing networks
33%
Design of experiments
11%
Decomposition
9%
Defects
8%
Chemistry
Simulation
39%
Decomposition
6%