Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Reachability Analysis Based on Structured Representations
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models
Distributed Numerical Markov Chain Analysis
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Computational Probability for Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
| Hi-index | 0.00 |
We present a collection of tools for functional and quantitative analysis of discrete event dynamic systems (DEDS). Models can be formulated as a set of automata with synchronous communication or as Petri nets. Analysis takes place with a strong emphasis on state based analysis methods using Kronecker representations and ordered natural decision diagrams. Independent tools provide access to orthogonal techniques from different fields including computation of bisimulation equivalences, modelchecking, numerical analysis of Markov chains, and simulation. Two file formats are defined to provide a simple exchange mechanism between independent tools which allows to build various combinations of tools.