Petri nets: an introduction
Information and Computation
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Model-Checking with Coverability Graphs
Formal Methods in System Design
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Journal of Computer and System Sciences
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Checking system boundedness using ordinary differential equations
Information Sciences: an International Journal
Petruchio: from dynamic networks to nets
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Old and new algorithms for minimal coverability sets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Old and New Algorithms for Minimal Coverability Sets
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
| Hi-index | 0.89 |