Petri nets and algebraic specifications
From MaRDI portal
Publication:804305
DOI10.1016/0304-3975(91)90203-EzbMATH Open0727.68080DBLPjournals/tcs/Reisig91WikidataQ56170366 ScholiaQ56170366MaRDI QIDQ804305FDOQ804305
Authors: Wolfgang Reisig 
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Petri net algebra
- scientific article; zbMATH DE number 3967922
- scientific article; zbMATH DE number 3980501
- scientific article; zbMATH DE number 2155194
- On the algebraic structure of Petri nets
- scientific article; zbMATH DE number 1973122
- scientific article; zbMATH DE number 803796
- scientific article; zbMATH DE number 1004345
- Petri nets, algebras, morphisms, and compositionality
- scientific article; zbMATH DE number 4030999
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)
Cites Work
- Petri nets with individual tokens
- Coloured Petri nets and the invariant-method
- Title not available (Why is that?)
- System modelling with high-level Petri nets
- Title not available (Why is that?)
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Analysing a missile simulator with coloured Petri nets.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (52)
- DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
- Hornets: Nets within Nets Combined with Net Algebra
- Title not available (Why is that?)
- Specification of abstract dynamic-data types: A temporal logic approach
- An algebraic semantics for hierarchical P/T nets
- A formal framework for dependability and resilience from a software engineering perspective
- A relation-algebraic approach to liveness of place/transition nets
- Petri nets with structured data
- Applications and Theory of Petri Nets 2005
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
- An introduction to signed Petri net
- A class of composable high level Petri nets
- ESTL: A Temporal Logic for Events and States
- Arc-typed Petri Nets
- Petri nets with individual tokens
- Token-Free Petri Nets
- Towards a Standard for Modular Petri Nets: A Formalisation
- Linear constraint systems as high-level nets
- Title not available (Why is that?)
- Formal relationship between graph grammars and Petri nets
- Parameterized reachability trees for algebraic Petri nets
- Walking membranes: grid-exploring P systems with artificial evolution for multi-purpose topological optimisation of cascaded processes
- M-nets: a survey
- Flexibility in Algebraic Nets
- PN Standardisation: A Survey
- Title not available (Why is that?)
- Verification of siphons and traps for algebraic Petri nets
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- Petri nets with structured data
- Petri net algebra
- Algebraic higher-order nets: graphs and Petri nets as tokens.
- Petri Automata for Kleene Allegories
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Communication as unification in the Petri Box Calculus
- Complexity results for elementary Hornets
- A formal definition of hierarchical predicate transition nets
- Modelling and verification of Distributed Algorithms
- Algebraic nets with flexible arcs
- Orthogonal transformations for coloured Petri nets
- Title not available (Why is that?)
- Petri nets for the design and operation of manufacturing systems
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Analysing adaption processes of Hornets
- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
This page was built for publication: Petri nets and algebraic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q804305)
