Analysis of Petri nets and transition systems

zbMATH Open1433.68239arXiv1508.04851MaRDI QIDQ5216152FDOQ5216152

Publication date: 14 February 2020

Full work available at URL: https://arxiv.org/abs/1508.04851

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

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

Cited In (30)

Petri net analysis using invariant generation
Title not available (Why is that?)
Understanding Petri Nets
Symbolic and structural model-checking
Title not available (Why is that?)
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
Title not available (Why is that?)
Structural reductions revisited
State space axioms for T-systems
Title not available (Why is that?)
Title not available (Why is that?)
Factorisation of Petri net solvable transition systems
Analysis of the fault tolerance of complex systems by extensions of Petri nets
Title not available (Why is that?)
Analysis of Petri nets by partitioning: Splitting transitions
Articulation of Transition Systems and Its Application to Petri Net Synthesis
Title not available (Why is that?)
Analysis and application of transition systems based on Petri nets and relation matrices to business process management
Performance analysis using Petri nets
PETRI NETS AND STEP TRANSITION SYSTEMS
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Title not available (Why is that?)
Title not available (Why is that?)
Charlie -- an extensible Petri net analysis tool
On the Analysis of Petri Nets and their Synthesis from Process Languages
Lifted structural invariant analysis of Petri net product lines
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues

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)