Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
On reachability in autonomous continuous Petri net systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Logical reasoning and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
An algorithm to compute the minimal siphons in S4PR nets
Discrete Event Dynamic Systems
| Hi-index | 0.00 |