Analysis of Petri nets and transition systems

MaRDI QIDQ5216152zbMATH OpenFDO

Authors Eike Best, Uli Schlachter

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

Mathematics Subject Classification ID

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

(31)

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

Describes a project that uses

Uses Software

• APT

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)