Pages that link to "Item:Q4657750"
From MaRDI portal
The following pages link to Compositional semantics for open Petri nets based on deterministic processes (Q4657750):
Displaying 14 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- Extensional Petri net (Q667521) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets (Q1665580) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Open Petri nets (Q5139283) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)