A symbolic reachability graph for coloured Petri nets

On the use of partial symmetries for lumping Markov chains

ACM SIGMETRICS Performance Evaluation Review

Hierarchical Reachability Graph Generation for Petri Nets

Formal Methods in System Design

Manual and Automatic Exploitation of Symmetries in SPN Models

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Validation of GSPN and SWN Models through the PROD Tool

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools

Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16

Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management

Performance Evaluation

Performance evaluation of UML design with Stochastic Well-formed Nets

Journal of Systems and Software

Towards Efficient Verification of Systems with Dynamic Process Creation

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

From Model Driven Engineering to Verification Driven Engineering

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems

(Toward) discrete-event simulation of reflective Petri nets

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

Efficient state-based analysis by introducing bags in Petri nets color domains

ACC'09 Proceedings of the 2009 conference on American Control Conference

Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets

Electronic Notes in Theoretical Computer Science (ENTCS)

Parametric stochastic well-formed nets and compositional modelling

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Automatic symmetry detection in well-formed nets

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

Markov decision Petri net and Markov decision well-formed net formalisms

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Hybrid search algorithm to optimize scheduling problems for TCPN models

Proceedings of the 2010 Summer Computer Simulation Conference

(Symbolic) state-space inspection of a class of dynamic Petri nets

Proceedings of the 2010 Summer Computer Simulation Conference

Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets

Coloured stochastic multilevel multiset rewriting

Proceedings of the 9th International Conference on Computational Methods in Systems Biology

Expressiveness and efficient analysis of stochastic well-formed nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

A high level language for structural relations in well-formed nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

The NEO protocol for large-scale distributed database systems: modelling and initial verification

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

Finding Symmetries of Algebraic System Nets

Fundamenta Informaticae