Pages that link to "Item:Q598184"
From MaRDI portal
The following pages link to Process semantics of general inhibitor nets (Q598184):
Displaying 18 items.
- Localities in systems with a/sync communication (Q418785) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Semantics of inhibitor nets (Q2508333) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Failures: Their Definition, Modelling and Analysis (Q3525090) (← links)
- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios (Q3612942) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
- Transition systems of Elementary Net Systems with inhibitor arcs (Q6487381) (← links)