scientific article
From MaRDI portal
Publication:2766567
zbMath0986.68088MaRDI QIDQ2766567
Maciej Koutny, H. C. M. Kleijn
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Process semantics of general inhibitor nets ⋮ Relational structures model of concurrency ⋮ Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen. ⋮ Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
This page was built for publication:
