scientific article; zbMATH DE number 4087033

MaRDI QIDQ3815533zbMATH OpenFDO

Authors Astrid Kiehn

Publication date 1988

zbMATH Keywords

Petri nets semanticssynchronization

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On synchronicity and concurrency in Petri nets
• Synchrony vs. causality in asynchronous Petri nets
• Concurrency, Synchronization, and Conflicts in Petri Nets
• scientific article; zbMATH DE number 871231
• The non-sequential behaviour of Petri nets
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 3932399
• scientific article; zbMATH DE number 2042797
• Sequential and concurrent behaviour in Petri net theory

Cited in

(15)

• Executability of scenarios in Petri nets
• Executions: A new partial-order semantics of Petri nets
• Finite Petri nets as models for recursive causal behaviour
• A partial trace semantics for Petri nets
• Firing partial orders in a Petri net
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Partial Order Semantics of Types of Nets
• Concurrency, Synchronization, and Conflicts in Petri Nets
• Unifying Petri Net Semantics with Token Flows
• Pomset Languages of Finite Step Transition Systems
• scientific article; zbMATH DE number 4035161 (Why is no real title available?)
• Step failures semantics and a complete proof system
• Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
• Fairness and partial order semantics
• Failures semantics based on interval semiwords is a congruence for refinement

This page was built for publication:

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