Petri nets and algebraic specifications
From MaRDI portal
Publication:804305
DOI10.1016/0304-3975(91)90203-EzbMath0727.68080DBLPjournals/tcs/Reisig91WikidataQ56170366 ScholiaQ56170366MaRDI QIDQ804305
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (25)
Communication as unification in the Petri Box Calculus ⋮ Complexity Results for Elementary Hornets ⋮ Petri nets for the design and operation of manufacturing systems ⋮ A class of composable high level Petri nets ⋮ Parameterized reachability trees for algebraic Petri nets ⋮ A decade of TAPSOFT ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes ⋮ Linear constraint systems as high-level nets ⋮ Modelling and verification of Distributed Algorithms ⋮ Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes ⋮ A formal definition of hierarchical predicate transition nets ⋮ Arc-typed Petri Nets ⋮ An introduction to signed Petri net ⋮ Formal relationship between graph grammars and Petri nets ⋮ DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES ⋮ A formal framework for dependability and resilience from a software engineering perspective ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Algebraic nets with flexible arcs ⋮ PN Standardisation: A Survey ⋮ A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets ⋮ M-nets: a survey ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Cites Work
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- Petri nets with individual tokens
- System modelling with high-level Petri nets
- Coloured Petri nets and the invariant-method
- Analysing a missile simulator with coloured Petri nets.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Petri nets and algebraic specifications