scientific article; zbMATH DE number 3802816
From MaRDI portal
Publication:4746791
zbMath0508.68034MaRDI QIDQ4746791
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modelingPetri netsenvironmentcommunication protocolsinhibitor netscolored netscapacity netscontrolling the access to a filepredicate netspriority nets
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
Proving safety properties of infinite state systems by compilation into Presburger arithmetic ⋮ The residue of vector sets with applications to decidability problems in Petri nets
This page was built for publication:
