Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs.
Ziyue MaGuanghui ZhuZhiwu LiPublished in: IEEE Trans. Autom. Control. (2021)
Keyphrases
- petri net
- petri net model
- discrete event systems
- high level petri nets
- fuzzy petri net
- colored petri nets
- manufacturing systems
- service composition
- stochastic petri net
- ims ld
- process model
- state space
- production system
- expert systems
- decision making
- state machines
- model based diagnosis
- concurrent systems
- programmable logic controller