Liveness enforcement for production systems modeled by time Petri nets.
Tao QinYifan DongLi YinZhiwu LiPublished in: Inf. Sci. (2023)
Keyphrases
- production system
- petri net
- petri net model
- production process
- multistage
- manufacturing systems
- discrete event systems
- colored petri nets
- multiprocessor architecture
- production rules
- control structure
- fuzzy petri net
- service composition
- stochastic petri net
- ims ld
- certainty factor
- access control
- expert systems
- discrete dynamical systems
- concurrent systems
- state machines
- artificial intelligence
- production line
- complex systems
- programmable logic controller