Pages that link to "Item:Q1083185"
From MaRDI portal
The following pages link to Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185):
Displaying 6 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← links)
- Proving partial order properties (Q1322161) (← links)
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities (Q1982990) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)
