On Yen's Path Logic for Petri Nets.
Mohamed Faouzi AtigPeter HabermehlPublished in: Int. J. Found. Comput. Sci. (2011)
Keyphrases
- petri net
- programmable logic controller
- petri net model
- colored petri nets
- manufacturing systems
- service composition
- discrete event systems
- modal logic
- ims ld
- fuzzy petri net
- stochastic petri net
- neural network
- state machines
- process model
- discrete dynamical systems
- sequence diagrams
- asynchronous circuits
- model checking
- knowledge base