scientific article
From MaRDI portal
Publication:3771631
zbMath0633.68053MaRDI QIDQ3771631
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (11)
Skeleton Abstraction for Universal Temporal Properties ⋮ Communication as unification in the Petri Box Calculus ⋮ A class of composable high level Petri nets ⋮ From Coloured Petri Nets to Object Petri Nets ⋮ A decade of TAPSOFT ⋮ DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Algebraic nets with flexible arcs ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ Petri nets and algebraic specifications ⋮ Skeleton abstraction for universal temporal properties
This page was built for publication:
