Analysis of Petri nets and transition systems

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1508.04851, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.6

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

scientific article; zbMATH DE number 1799516
PETRI NETS AND STEP TRANSITION SYSTEMS
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
On the Analysis of Petri Nets and their Synthesis from Process Languages
scientific article; zbMATH DE number 1302043

Cited in

(30)

Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
scientific article; zbMATH DE number 6719540 (Why is no real title available?)
Petri net analysis using invariant generation
Understanding Petri Nets
scientific article; zbMATH DE number 1696471 (Why is no real title available?)
Symbolic and structural model-checking
Target-oriented Petri net synthesis
A new property of choice-free Petri net systems
Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues
State space analysis of Petri nets with relation-algebraic methods
scientific article; zbMATH DE number 2102728 (Why is no real title available?)
Structural reductions revisited
State space axioms for T-systems
scientific article; zbMATH DE number 177238 (Why is no real title available?)
scientific article; zbMATH DE number 4074502 (Why is no real title available?)
Analysis of the fault tolerance of complex systems by extensions of Petri nets
Factorisation of Petri net solvable transition systems
scientific article; zbMATH DE number 2088675 (Why is no real title available?)
Analysis of Petri nets by partitioning: Splitting transitions
Articulation of Transition Systems and Its Application to Petri Net Synthesis
scientific article; zbMATH DE number 610379 (Why is no real title available?)
Performance analysis using Petri nets
Analysis and application of transition systems based on Petri nets and relation matrices to business process management
PETRI NETS AND STEP TRANSITION SYSTEMS
scientific article; zbMATH DE number 5014120 (Why is no real title available?)
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
scientific article; zbMATH DE number 1799516 (Why is no real title available?)
Charlie -- an extensible Petri net analysis tool
Lifted structural invariant analysis of Petri net product lines
On the Analysis of Petri Nets and their Synthesis from Process Languages

Describes a project that uses

Uses Software

This page was built for publication: Analysis of Petri nets and transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216152)