Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.
Marisa LlorensJavier OliverPublished in: IEEE Trans. Computers (2004)
Keyphrases
- concurrent systems
- petri net
- process algebra
- fuzzy petri net
- petri net model
- temporal logic
- contract net protocol
- discrete event systems
- distributed systems
- model checking
- web service composition
- service composition
- manufacturing systems
- colored petri nets
- ims ld
- low cost
- formal specification
- state machines
- process model
- stochastic petri net
- sequence diagrams
- authoring tool