Linear algebraic techniques for place/transition nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Theoretical Computer Science
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Information Processing Letters
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Semi-numerical Solution of Stochastic Process Algebra Models
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Turning back time in Markovian process algebra
Theoretical Computer Science
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Comparison of the Expressiveness of SPA and Bounded SPN Models
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Scalable Differential Analysis of Process Algebra Models
IEEE Transactions on Software Engineering
Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
| Hi-index | 0.00 |
Stochastic process algebra models have been successfully used in the area of performance modelling for the last twenty years, and more recently have been adopted for modelling biochemical processes in systems biology. Most research on these modelling formalisms has been on quantitative analysis, particularly the derivation of quantified dynamic information about the system modelled in the face of the state space explosion problem. In this paper we instead consider qualitative analysis, looking at how recent developments to tackle state space explosion in quantified analysis can be also harnessed to establish properties such as freedom from deadlock in an efficient manner.