Pages that link to "Item:Q804305"
From MaRDI portal
The following pages link to Petri nets and algebraic specifications (Q804305):
Displayed 25 items.
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- M-nets: a survey (Q1006339) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- An introduction to signed Petri net (Q2230049) (← links)
- DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES (Q2744178) (← links)
- Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes (Q2975918) (← links)
- PN Standardisation: A Survey (Q3613078) (← links)
- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets (Q3614850) (← links)
- Towards a Standard for Modular Petri Nets: A Formalisation (Q3636839) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- A formal definition of hierarchical predicate transition nets (Q4633163) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- Parameterized reachability trees for algebraic Petri nets (Q5096373) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
- Algebraic nets with flexible arcs (Q5958125) (← links)
- Linear constraint systems as high-level nets (Q6162101) (← links)
- Modelling and verification of Distributed Algorithms (Q6162106) (← links)