A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.
Jonathan BillingtonPublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- petri net
- high level
- service composition
- web service composition
- colored petri nets
- low level
- petri net model
- manufacturing systems
- discrete event systems
- reactive systems
- sequence diagrams
- high level petri nets
- fuzzy petri net
- web services
- protocol specification
- stochastic petri net
- composite services
- ims ld
- access control
- service oriented
- concurrent systems
- process model
- workflow process
- formal specification
- e learning