Specification of a batch plant using process algebra and Petri nets.
Petter FalkmanBengt LennartsonMichael TittusPublished in: CASE (2005)
Keyphrases
- process algebra
- petri net
- concurrent systems
- formal specification
- colored petri nets
- petri net model
- formal methods
- service composition
- asynchronous circuits
- discrete event systems
- state machines
- control system
- web services composition
- model checking
- stochastic petri net
- reactive systems
- fuzzy petri net
- web service composition
- communication protocols
- sequence diagrams
- programming environment
- temporal logic
- process model
- information systems
- programmable logic controller