Pages that link to "Item:Q1882900"
From MaRDI portal
The following pages link to Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900):
Displaying 13 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
