Pages that link to "Item:Q4633159"
From MaRDI portal
The following pages link to Non sequential semantics for contextual P/T nets (Q4633159):
Displaying 12 items.
- Executability of scenarios in Petri nets (Q1006647) (← 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)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Pomset bisimulation and unfolding for reset Petri nets (Q2113378) (← links)
- Branching cells for asymmetric event structures (Q2253176) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- (Q4526681) (← links)
- Non sequential semantics for contextual P/T nets (Q4633159) (← links)
- Synthesis of nets with inhibitor arcs (Q6044115) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)