The following pages link to Semantics of inhibitor nets (Q2508333):
Displaying 36 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Process semantics of general inhibitor nets (Q598184) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Using transition set sequences to partition behaviors of Petri nets (Q766188) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Analysis issues in Petri nets with inhibitor arcs (Q1606123) (← links)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Boolean networks: beyond generalized asynchronicity (Q1656683) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Processes and Local Actions (Q4923540) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- (Q5028437) (← links)
- (Q5114821) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
- Step traces (Q5963403) (← links)
