Infinite Process Semantics of Inhibitor Nets

DOI10.1007/11767589_16zbMath1234.68302OpenAlexW1524501475MaRDI QIDQ3618709

Maciej Koutny, H. C. M. Kleijn

Publication date: 2 April 2009

Published in: Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)

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

zbMATH Keywords

Petri netsinfinite processesoccurrence netstheory of concurrencycausality semanticsstep sequencesweighted inhibitor arcs

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)

Related Items (1)

Processes of membrane systems with promoters and inhibitors

Uses Software

• Punf

This page was built for publication: Infinite Process Semantics of Inhibitor Nets