A class of composable high level Petri nets (Q5096360): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-60029-9_36
+Normal rank
@@ Property / OpenAlex ID @@
+W158964567
@@ Property / OpenAlex ID: W158964567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997211
@@ Property / cites work: Q3997211 / 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 @@
+Q2761706
@@ Property / cites work: Q2761706 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Analysis of Petri Nets
@@ Property / cites work: Modular Analysis of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774959
@@ Property / cites work: Q3774959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500366
@@ Property / cites work: Q4500366 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and algebraic specifications
@@ Property / cites work: Petri nets and algebraic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774955
@@ Property / cites work: Q3774955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999014
@@ Property / cites work: Q3999014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771631
@@ Property / cites work: Q3771631 / rank @@
+Normal rank