Login / Signup

An Automated Framework for Formal Verification of Timed Continuous Petri Nets.

Marius KloetzerCristian MahuleaCalin BeltaManuel Silva Suárez
Published in: IEEE Trans. Ind. Informatics (2010)
Keyphrases
  • petri net
  • petri net model
  • formal verification
  • colored petri nets
  • manufacturing systems
  • discrete event systems
  • process model
  • fuzzy petri net
  • stochastic petri net
  • ims ld
  • service composition