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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00010-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2027139596
@@ Property / OpenAlex ID: W2027139596 / rank @@
+Normal rank