Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol.
Manuel Duque-AntónM. BretschneiderPublished in: TAPSOFT, Vol.2 (1989)
Keyphrases
- petri net
- colored petri nets
- petri net model
- state machines
- discrete event systems
- manufacturing systems
- sequence diagrams
- service composition
- process model
- web services
- protocol specification
- reactive systems
- concurrent systems
- formal verification
- concurrent processes
- discrete dynamical systems
- cryptographic protocols
- production process
- neural network
- programmable logic controller