Pages that link to "Item:Q5712300"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712300):
Displaying 7 items.
- Concurrency and hardware design. Advances in Petri nets (Q1868003) (← links)
- Quasi-static scheduling of communicating tasks (Q1959479) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- (Q3056168) (← links)
- Logic Synthesis for Asynchronous Controllers and Interfaces (Q4802628) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Coupling asynchrony and interrupts: Place Chart Nets (Q6487382) (← links)