Login / Signup

Fairness Verification of BOM-Based Composed Models Using Petri Nets.

Imran MahmoodRassul AyaniVladimir VlassovFarshad 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