The following pages link to (Q4247292):
Displaying 18 items.
- Models for concurrency: Towards a classification (Q672053) (← links)
- Petri nets and bisimulation (Q672873) (← links)
- Lectures on concurrency and Petri nets. Advances in Petri nets. (Q704167) (← links)
- Homology groups of asynchronous systems, Petri nets, and trace languages (Q890902) (← links)
- Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986 (Q1089323) (← links)
- From Petri nets to automata with concurrency (Q1610275) (← links)
- Concurrency and hardware design. Advances in Petri nets (Q1868003) (← links)
- Clustering for Petri nets (Q1884880) (← links)
- Axiomatic systems in concurrency theory (Q2715921) (← links)
- Categorical models for concurrency: Independence, fairness and dataflow (Q2763547) (← links)
- (Q3347286) (← links)
- Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798) (← links)
- High-Level Koutny Net (Q4621221) (← links)
- Concurrent systems analysis using ECATNets (Q4952022) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- What are the Fundamental Structures of Concurrency? (Q5262949) (← links)
- (Q5309393) (← links)
- Petri's axioms of concurrency a selection of recent results (Q6487376) (← links)