A reduced maximality labeled transition system generation for recursive Petri nets.
Messaouda BounebDjamel-Eddine SaïdouniJean-Michel IliéPublished in: Formal Aspects Comput. (2015)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- high level petri nets
- discrete event systems
- state machines
- service composition
- colored petri nets
- ims ld
- fuzzy petri net
- process model
- machine learning
- stochastic petri net
- learning objects
- concurrent processes
- discrete dynamical systems
- artificial intelligence
- dynamic systems
- concurrent systems
- programmable logic controller