Multiple specification regulation control in interpreted Petri nets.
Jesus F. Sánchez-BlancoAntonio Ramírez-TreviñoAlejandra Santoyo-SanchezPublished in: SMC (5) (2004)
Keyphrases
- petri net
- colored petri nets
- programmable logic controller
- state machines
- manufacturing systems
- discrete event systems
- reactive systems
- service composition
- hardware and software
- fuzzy petri net
- petri net model
- sequence diagrams
- control system
- stochastic petri net
- ims ld
- control method
- concurrent systems
- process algebra
- workflow model
- workflow process
- state machine