Directed Unfolding of Petri Nets (Q3599218): Difference between revisions

@@ Property / author @@
-Blai Bonet
@@ Property / author: Blai Bonet / rank @@
-Normal rank
@@ Property / author @@
-Sylvie Thiébaux
@@ Property / author: Sylvie Thiébaux / rank @@
-Normal rank
@@ Property / author @@
+Blai Bonet
@@ Property / author: Blai Bonet / rank @@
+Normal rank
@@ Property / author @@
+Sylvie Thiébaux
@@ Property / author: Sylvie Thiébaux / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-89287-8_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1546930884
@@ Property / OpenAlex ID: W1546930884 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+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 @@
+Q2775861
@@ Property / cites work: Q2775861 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Using regression-match graphs to control search in planning
+Normal rank
@@ Property / cites work @@
+On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
+Normal rank
@@ Property / cites work @@
+Q4791845
@@ Property / cites work: Q4791845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268457
@@ Property / cites work: Q4268457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264234
@@ Property / cites work: Q4264234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536617
@@ Property / cites work: Q4536617 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Connections between cutting-pattern sequencing, VLSI design, and flexible machines
+Normal rank
@@ Property / cites work @@
+Q2852020
@@ Property / cites work: Q2852020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251922
@@ Property / cites work: Q4251922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417949
@@ Property / cites work: Q4417949 / rank @@
+Normal rank