Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
An algorithm to compute the minimal siphons in S4PR nets
Discrete Event Dynamic Systems
A boolean model for enumerating minimal siphons and traps in petri nets
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
| Hi-index | 0.01 |