General parameterised refinement and recursion for the M-net calculus (Q1399968): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Solving recursive net equations
@@ Property / cites work: Solving recursive net equations / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of coloured petri nets
@@ Property / cites work: Refinement of coloured petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281515
@@ Property / cites work: Q4281515 / rank @@
+Normal rank
@@ Property / cites work @@
+M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
+Normal rank
@@ Property / cites work @@
+A class of composable high level Petri nets
@@ Property / cites work: A class of composable high level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+S-invariant analysis of general recursive Petri boxes
+Normal rank
@@ Property / cites work @@
+General parameterised refinement and recursion for the M-net calculus
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication as unification in the Petri Box Calculus
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00088-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2092169056
@@ Property / OpenAlex ID: W2092169056 / rank @@
+Normal rank