A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860): Difference between revisions

@@ Property / author @@
-Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
-Normal rank
@@ Property / author @@
+Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASAP
@@ Property / describes a project that uses: ASAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPN/Tools
@@ Property / describes a project that uses: CPN/Tools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Design/CPN
@@ Property / describes a project that uses: Design/CPN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Access/CPN
@@ Property / describes a project that uses: Access/CPN / 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-642-13675-7_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1606831295
@@ Property / OpenAlex ID: W1606831295 / rank @@
+Normal rank