Pages that link to "Item:Q672871"
From MaRDI portal
The following pages link to An event structure semantics for general Petri nets (Q672871):
Displaying 19 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- A trace semantics for Petri nets (Q1891167) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- On the join dependency relation in multinomial lattices (Q2464733) (← links)
- Topological properties of event structures (Q2810963) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- Branching Processes of General Petri Nets (Q3011885) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- (Q4621133) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- Synthesis of nets with inhibitor arcs (Q6044115) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)