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
Equipment
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
Decompose
8%
Discrepancy
12%
Estimate
5%
Evidence
10%
Experimental design
14%
Factorial
13%
Long-run
15%
Model
4%
Network Model
14%
Network Simulation
20%
Numerical Results
8%
Queueing Networks
31%
Resources
47%
Simulation
23%
Simulation Model
45%
Timed Petri Nets
100%
Verify
20%
Engineering & Materials Science
Decomposition
9%
Defects
8%
Design of experiments
11%
Petri nets
61%
Queueing networks
33%
Chemistry
Decomposition
6%
Simulation
39%