On occurrence net semantics for petri nets with contacts

DOI10.1007/BFb0036194OpenAlexW1481202007MaRDI QIDQ5055945

Irina A. Lomazova

Publication date: 9 December 2022

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0036194

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)

Cites Work

• On the border of causality: contact and confusion
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On occurrence net semantics for petri nets with contacts