Linear Algebra in Net Theory

Computer aided and Petri net design for decision-making organizations

WSC '88 Proceedings of the 20th conference on Winter simulation

petri—a UNIX tool for the analysis of Petri nets

ACM '86 Proceedings of 1986 ACM Fall joint computer conference

Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation

Formal Methods in System Design

Efficient encoding schemes for symbolic analysis of petri nets

Proceedings of the conference on Design, automation and test in Europe

A Survey of Petri Net Methods for Controlled Discrete EventSystems

Discrete Event Dynamic Systems

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering

Flexibility in Algebraic Nets

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

Structural Methods to Improve the Symbolic Analysis of Petri Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

The two-step commitment protocol: Modeling, specification and proof methodology

ICSE '81 Proceedings of the 5th international conference on Software engineering

Compositional Definitions of Minimal Flows in Petri Nets

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology

Analyzing Reachability for Some Petri Nets With Fast Growing Markings

Electronic Notes in Theoretical Computer Science (ENTCS)

Schedulability Analysis of Petri Nets Based on Structural Properties

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)

DES modelling and control vs. problem solving methods

International Journal of Intelligent Information and Database Systems

Structural analysis for stochastic process algebra models

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology

A reachability algorithm for general petri nets based on transition invariants

MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science

Mean-value analysis for a class of Petri nets and batch-movement queueing networks with product-form equilibrium distributions

Mathematical and Computer Modelling: An International Journal

Schedulability Analysis of Petri Nets Based on Structural Properties

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)

A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets

Performance Evaluation

On the Termination of Integer Loops

ACM Transactions on Programming Languages and Systems (TOPLAS)

On the relationship between reachability problems in timed and counter automata

RP'12 Proceedings of the 6th international conference on Reachability Problems