PETRI NETS AND STEP TRANSITION SYSTEMS

DOI10.1142/S0129054192000231MaRDI QIDQ4032923zbMATH OpenOpenAlexFDO

Authors Madhavan Mukund

Publication date 16 May 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054192000231

zbMATH Keywords

categoriesplace/transition netsstep sequencesstep transition systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri-Netze
• scientific article; zbMATH DE number 979001
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 1973130
• Transition systems, link graphs and Petri nets
• Petri nets and bisimulation
• Analysis of Petri nets and transition systems
• scientific article; zbMATH DE number 4001494
• Petri nets and regular processes

Cited in

(42)

• CTS systems and Petri nets
• Elementary transition systems
• The synthesis problem for elementary net systems is NP-complete
• Functorial models for Petri nets
• The synthesis of Petri nets from path-automatic specifications
• Clustering for Petri nets
• The synthesis problem of Petri nets
• Trace nets and process automata
• Petri nets and regular processes
• Synthesising elementary net systems with localities
• Factorisation of Petri net solvable transition systems
• scientific article; zbMATH DE number 2088664 (Why is no real title available?)
• On particular class of location-transition Petri nets: state machine
• Synthesis of Petri nets with whole-place operations and localities
• Transition systems, link graphs and Petri nets
• Tissue Systems and Petri Net Synthesis
• On the Synthesis of Zero-Safe Nets
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• On the Step Explosion Problem
• Pomset Languages of Finite Step Transition Systems
• Process discovery and Petri nets
• scientific article; zbMATH DE number 4035157 (Why is no real title available?)
• scientific article; zbMATH DE number 1191244 (Why is no real title available?)
• Projection approaches to process mining using region-based techniques
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• scientific article; zbMATH DE number 979001 (Why is no real title available?)
• \(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems
• Stratified petri nets
• Formal relationships between geometrical and classical models for concurrency
• Analysis of Petri nets and transition systems
• scientific article; zbMATH DE number 5201493 (Why is no real title available?)
• Synthesis of Nets with Step Firing Policies
• On the Petri net realization of context-free graphs
• Synthesis of nets with inhibitor arcs
• Comparing transition systems with independence and asynchronous transition systems
• Transition systems of Elementary Net Systems with inhibitor arcs
• Strategies for minimising the synthesised ENL-systems
• An event structure semantics for general Petri nets
• Process versus unfolding semantics for Place/Transition Petri nets
• Petri nets and bisimulation
• Regions of Petri nets with a/sync connections
• Applying regions

This page was built for publication: PETRI NETS AND STEP TRANSITION SYSTEMS

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