Pages that link to "Item:Q797994"
From MaRDI portal
The following pages link to Nets, sequential components and concurrency relations (Q797994):
Displaying 10 items.
- Automata and concurrency (Q794437) (← links)
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- On a fast decomposition method in some models of concurrent computations (Q1083211) (← links)
- Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Nets, Terms and Formulas (Q3997896) (← links)
- (Q4234767) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897472) (← links)
- Coupling asynchrony and interrupts: Place Chart Nets (Q6487382) (← links)