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
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3874631 (Why is no real title available?)
- scientific article; zbMATH DE number 3825180 (Why is no real title available?)
- scientific article; zbMATH DE number 3825181 (Why is no real title available?)
- scientific article; zbMATH DE number 4012518 (Why is no real title available?)
- scientific article; zbMATH DE number 4028914 (Why is no real title available?)
- scientific article; zbMATH DE number 4030998 (Why is no real title available?)
- scientific article; zbMATH DE number 4094830 (Why is no real title available?)
- scientific article; zbMATH DE number 3742638 (Why is no real title available?)
- scientific article; zbMATH DE number 3750300 (Why is no real title available?)
- scientific article; zbMATH DE number 4123268 (Why is no real title available?)
- scientific article; zbMATH DE number 4128405 (Why is no real title available?)
- scientific article; zbMATH DE number 4001493 (Why is no real title available?)
- Analysing a missile simulator with coloured Petri nets.
- Coloured Petri nets and the invariant-method
- Petri nets with individual tokens
- System modelling with high-level Petri nets
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
Cited in
(52)- Modelling and verification of Distributed Algorithms
- M-nets: a survey
- Linear constraint systems as high-level nets
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- scientific article; zbMATH DE number 5201493 (Why is no real title available?)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- scientific article; zbMATH DE number 1191244 (Why is no real title available?)
- Formal relationship between graph grammars and Petri nets
- Communication as unification in the Petri Box Calculus
- A relation-algebraic approach to liveness of place/transition nets
- Petri nets with structured data
- Petri net algebra
- scientific article; zbMATH DE number 3872692 (Why is no real title available?)
- scientific article; zbMATH DE number 1004345 (Why is no real title available?)
- scientific article; zbMATH DE number 3967922 (Why is no real title available?)
- scientific article; zbMATH DE number 3980501 (Why is no real title available?)
- scientific article; zbMATH DE number 4030998 (Why is no real title available?)
- scientific article; zbMATH DE number 4094830 (Why is no real title available?)
- scientific article; zbMATH DE number 409457 (Why is no real title available?)
- scientific article; zbMATH DE number 4123268 (Why is no real title available?)
- scientific article; zbMATH DE number 1973122 (Why is no real title available?)
- Petri nets for the design and operation of manufacturing systems
- Algebraic nets with flexible arcs
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Arc-typed Petri Nets
- Analysing adaption processes of Hornets
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
- An introduction to signed Petri net
- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
- Petri nets with individual tokens
- Petri nets with structured data
- Token-Free Petri Nets
- Verification of siphons and traps for algebraic Petri nets
- Flexibility in Algebraic Nets
- Complexity results for elementary Hornets
- Orthogonal transformations for coloured Petri nets
- Applications and Theory of Petri Nets 2005
- Petri Automata for Kleene Allegories
- A formal framework for dependability and resilience from a software engineering perspective
- ESTL: A Temporal Logic for Events and States
- Walking membranes: grid-exploring P systems with artificial evolution for multi-purpose topological optimisation of cascaded processes
- PN Standardisation: A Survey
- Parameterized reachability trees for algebraic Petri nets
- A formal definition of hierarchical predicate transition nets
- Algebraic higher-order nets: graphs and Petri nets as tokens.
- DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
- Hornets: Nets within Nets Combined with Net Algebra
- scientific article; zbMATH DE number 1696454 (Why is no real title available?)
- Towards a Standard for Modular Petri Nets: A Formalisation
- Specification of abstract dynamic-data types: A temporal logic approach
- A class of composable high level Petri nets
- An algebraic semantics for hierarchical P/T 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)
