Some Consequences of the Decidability of the Reachability Problem for Petri Nets.
J. L. LambertPublished in: European Workshop on Applications and Theory of Petri Nets (1987)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- description logics
- high level petri nets
- discrete event systems
- state space
- stochastic petri net
- colored petri nets
- ims ld
- service composition
- process model
- transitive closure
- state machines
- concurrent systems
- discrete dynamical systems
- genetic algorithm
- dynamic systems
- programmable logic controller
- learning environment