Causal semantics for Petri nets with contacts
From MaRDI portal
Publication:5930824
zbMath0977.68062MaRDI QIDQ5930824
Publication date: 26 April 2001
Published in: Programming and Computer Software (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Causal semantics for Petri nets with contacts
