Petri Nets Specification of Virtual Ring Protocols.
Pascal EstraillierClaude GiraultPublished in: European Workshop on Applications and Theory of Petri Nets (1982)
Keyphrases
- petri net
- state machines
- colored petri nets
- reactive systems
- petri net model
- manufacturing systems
- sequence diagrams
- discrete event systems
- virtual environment
- process algebra
- service composition
- fuzzy petri net
- concurrent systems
- state machine
- ims ld
- communication protocols
- low cost
- programmable logic controller
- stochastic petri net
- discrete dynamical systems
- neural network
- formal specification
- process model
- knowledge acquisition
- web services