scientific article; zbMATH DE number 1927584

zbMath1012.68125MaRDI QIDQ4484509

Maciej Koutny, H. C. M. Kleijn

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210531.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Process semantics of general inhibitor nets ⋮ Unnamed Item ⋮ Catalytic and communicating Petri nets are Turing complete ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Investigating Reversibility of Steps in Petri Nets

This page was built for publication: