Pages that link to "Item:Q3460864"
From MaRDI portal
The following pages link to Asynchronous Traces and Open Petri Nets (Q3460864):
Displaying 10 items.
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)
- Efficiency of asynchronous systems and read arcs in petri nets (Q4571984) (← links)
- Open Petri nets (Q5139283) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- Channel Properties of Asynchronously Composed Petri Nets (Q5300882) (← links)
- Coupling asynchrony and interrupts: Place Chart Nets (Q6487382) (← links)
- A categorical semantics for hierarchical Petri nets (Q6649536) (← links)