Login / Signup
Fairness Verification of BOM-Based Composed Models Using Petri Nets.
Imran Mahmood
Rassul Ayani
Vladimir Vlassov
Farshad Moradi
Published in:
PADS (2011)
Keyphrases
</>
petri net
petri net model
process model
concurrent systems
stochastic petri net
manufacturing systems
colored petri nets
rough sets
complex systems
discrete event systems
neural network
reactive systems