Petri nets with causal time for system verification.
Cécile Bui ThanhHanna KlaudelFranck PommereauPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- service composition
- high level petri nets
- manufacturing systems
- model checking
- fuzzy petri net
- programmable logic controller
- ims ld
- sequence diagrams
- stochastic petri net
- production process
- knowledge representation
- expert systems
- discrete dynamical systems
- data analysis