Petri nets and algebraic specifications

DOI10.1016/0304-3975(91)90203-EzbMath0727.68080WikidataQ56170366 ScholiaQ56170366MaRDI QIDQ804305

Wolfgang Reisig

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

high-level Petri netsabstract data types

Mathematics Subject Classification ID

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