A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172): Difference between revisions

@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319803
@@ Property / cites work: Q4319803 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach for the analysis of Petri Nets by reduced unfoldings
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Q5558258
@@ Property / cites work: Q5558258 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank