Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.
Jonathan BillingtonPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- petri net
- state machines
- service composition
- web service composition
- colored petri nets
- manufacturing systems
- reactive systems
- petri net model
- sequence diagrams
- discrete event systems
- state machine
- stochastic petri net
- specification language
- process model
- composite services
- workflow process
- fuzzy petri net
- web services
- programmable logic controller
- discrete dynamical systems
- process algebra
- concurrent systems
- ims ld
- service oriented
- concurrent processes
- asynchronous circuits
- neural network