Compositional semantics for open Petri nets based on deterministic processes
From MaRDI portal
Recommendations
Cited in
(18)- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
- A theory for the composition of concurrent processes
- A normal form for stateful connectors
- A connector algebra for P/T nets interactions
- Modular modelling of software product lines with feature nets
- Encoding Asynchronous Interactions Using Open Petri Nets
- Asynchronous traces and open Petri nets
- Open Petri Nets: Non-deterministic Processes and Compositionality
- Towards ``mouldable code via nested code graph transformation
- scientific article; zbMATH DE number 1863181 (Why is no real title available?)
- Open Petri nets
- Open Petri nets as semantic model for workflow integration
- Concurrency cannot be observed, asynchronously
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- Whole-grain Petri nets and processes
- Extensional Petri net
- Compositional separation of control flow and data flow
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
This page was built for publication: Compositional semantics for open Petri nets based on deterministic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4657750)
