PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.
Jonathan BillingtonGeoffrey R. WheelerMichael C. Wilbur-HamPublished in: IEEE Trans. Software Eng. (1988)
Keyphrases
- petri net
- communication protocols
- protocol specification
- colored petri nets
- high level
- petri net model
- concurrent systems
- process algebra
- sequence diagrams
- manufacturing systems
- formal specification
- reactive systems
- communication protocol
- stochastic petri net
- fuzzy petri net
- discrete event systems
- ims ld
- web service composition
- service composition
- formal methods
- communication networks
- model checking
- fuzzy logic
- story generation
- high dimensional