Improvements in unfolding of colored Petri nets (Q2695488): Difference between revisions

@@ Property / describes a project that uses @@
+TAPAAL
@@ Property / describes a project that uses: TAPAAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ITS-Tools
@@ Property / describes a project that uses: ITS-Tools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MARCIE
@@ Property / describes a project that uses: MARCIE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3210783414
@@ Property / OpenAlex ID: W3210783414 / rank @@
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
+Normal rank
@@ Property / cites work @@
+Coloured Petri nets and the invariant-method
@@ Property / cites work: Coloured Petri nets and the invariant-method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877483
@@ Property / cites work: Q4877483 / rank @@
+Normal rank
@@ Property / cites work @@
+Coloured Petri Nets
@@ Property / cites work: Coloured Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+Automatic Symmetry Detection in Well-Formed Nets
@@ Property / cites work: Automatic Symmetry Detection in Well-Formed Nets / rank @@
+Normal rank