Petri net algebra
From MaRDI portal
Publication:1573598
zbMath0968.68110MaRDI QIDQ1573598
Raymond Devillers, Eike Best, Maciej Koutny
Publication date: 7 August 2000
Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) 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 (18)
Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Avoiding exponential explosion in Petri net models of control flows ⋮ The ins and outs of Petri net composition ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Timed mobility in process algebra and Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ General composition for high level Petri nets and its properties ⋮ Associative composition of components with double-sided interfaces ⋮ A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ A congruence relation for sPBC ⋮ M-nets: a survey ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ A barred operational semantics for a subset of WS-CDL with time restrictions ⋮ Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
This page was built for publication: Petri net algebra
