Communicating sequential processes
Communicating sequential processes
A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Three partition refinement algorithms
SIAM Journal on Computing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
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)
Communication and Concurrency
IEEE Transactions on Parallel and Distributed Systems
A Notion of Equivalence for Stochastic Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Reachability Analysis Based on Structured Representations
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Storage Alternatives for Large Structured State Spaces
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Toolbox for Functional and Quantitative Analysis of DEDS
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A Toolbox for the Analysis of Discrete Event Dynamic Systems
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Integrating Synchronization with Priority into a Kronecker Representation
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
| Hi-index | 0.02 |
Techniques from different areas are combined to analyze parallel and distributed software within a common framework. They include bisimulation equivalences known from process algebras, Kronecker representations of labelled (stochastic) transitions systems known from performance analysis using Markov chains, and ordered natural decision diagrams (ONDDs) as a generalization of ordered binary decision diagrams famous in hardware verification as well as for the analysis of Boolean functions in general. The employed analysis tools are all part of a toolbox built on the abstract Petri net notation (APNN), a model interchange format using Petri nets. In this context we experience a cross fertilization of different research fields within a Petri net context. We exercise Lamport's mutual exclusion algorithm to discuss the strengths and limitations of the presented approach.