Behavioral specification of the logic controllers by means of the hierarchical configurable Petri nets.
Michal DoligalskiPublished in: PDeS (2012)
Keyphrases
- petri net
- colored petri nets
- state machines
- programmable logic controller
- petri net model
- discrete event systems
- reactive systems
- sequence diagrams
- asynchronous circuits
- manufacturing systems
- process algebra
- service composition
- state machine
- concurrent systems
- fuzzy petri net
- discrete dynamical systems
- stochastic petri net
- control system
- formal specification
- hardware and software
- neural network
- production system
- computer systems
- fuzzy sets