Causality in Extensions of Petri Nets
From MaRDI portal
Publication:4924449
DOI10.1007/978-3-642-38143-0_6zbMath1382.68150OpenAlexW1540659735MaRDI QIDQ4924449
Maciej Koutny, H. C. M. Kleijn
Publication date: 31 May 2013
Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_6
processeselementary net systemsinhibitor arcscausality semanticsmutex arcssemantical frameworkstep sequencesactivator arcs
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: Causality in Extensions of Petri Nets