Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets.
Francesco BasileGianmaria De TommasiPublished in: IEEE Control. Syst. Lett. (2021)
Keyphrases
- discrete event systems
- petri net
- petri net model
- timed petri nets
- manufacturing systems
- colored petri nets
- complex systems
- fuzzy petri net
- telecommunication networks
- programmable logic controller
- service composition
- np complete
- multi agent
- model based diagnosis
- concurrent systems
- cellular automata
- stochastic petri net
- control system