Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Algorithms for mutual exclusion
Algorithms for mutual exclusion
Design and validation of computer protocols
Design and validation of computer protocols
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
B(PN)2 - a Basic Petri Net Programming Notation
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
On-the-Fly Verification with Stubborn Sets
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Executability of scenarios in Petri nets
Theoretical Computer Science
DSSZ-MC --- A Tool for Symbolic Analysis of Extended Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A nice labelling for tree-like event structures of degree 3
Information and Computation
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
From petri nets to differential equations – an integrative approach for biochemical network analysis
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checkers, including deadlock-checkers, reachability-checkers, and model-checkers for the temporal logics CTL and LTL [7].