Abstract Interleaving Semantics for Reconfigurable Petri Nets.
Julia PadbergPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- petri net
- state machines
- petri net model
- manufacturing systems
- discrete event systems
- fuzzy petri net
- colored petri nets
- ims ld
- service composition
- process algebra
- low cost
- stochastic petri net
- concurrent systems
- logic programming
- sequence diagrams
- fuzzy reasoning
- process model
- state machine
- data analysis
- discrete dynamical systems
- programmable logic controller