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

@@ 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