Convex geometry and semiflows in P/T nets: a comparative study of algorithms for computation of minimal P-semiflows

Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks

IEEE Transactions on Computers

Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks

IEEE Transactions on Computers

Structured Solution of Asynchronously Communicating Stochastic Modules

IEEE Transactions on Software Engineering

Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

Computers in Industry

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Empirical Studies in Process Model Verification

Transactions on Petri Nets and Other Models of Concurrency II

Deciding life-cycle inheritance on Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

An algorithm to compute the minimal siphons in S4PR nets

Discrete Event Dynamic Systems