A symbolic reachability graph for coloured Petri nets (Q1392273): Difference between revisions

@@ Property / cites work @@
+A symbolic reachability graph for coloured Petri nets
+Normal rank
@@ Property / cites work @@
+Q3683544
@@ Property / cites work: Q3683544 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability trees for high-level Petri nets
@@ Property / cites work: Reachability trees for high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769974
@@ Property / cites work: Q3769974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348471
@@ Property / cites work: Q4348471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001266
@@ Property / cites work: Q4001266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207590
@@ Property / cites work: Q4207590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359783
@@ Property / cites work: Q3359783 / rank @@
+Normal rank