Decomposition Theorems for Bounded Persistent Petri Nets (Q3510855): Difference between revisions

@@ Property / author @@
-Q198039
@@ Property / author: Q198039 / rank @@
-Normal rank
@@ Property / author @@
+Philippe Darondeau
@@ Property / author: Philippe Darondeau / rank @@
+Normal rank
@@ 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/978-3-540-68746-7_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1533935241
@@ Property / OpenAlex ID: W1533935241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431913
@@ Property / cites work: Q5431913 / rank @@
+Normal rank
@@ Property / cites work @@
+Separability in Conflict-Free Petri Nets
@@ Property / cites work: Separability in Conflict-Free Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of persistence for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q4055201
@@ Property / cites work: Q4055201 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+On weak persistency of Petri nets
@@ Property / cites work: On weak persistency of Petri nets / rank @@
+Normal rank