Finding a Witness Path for Non-liveness in Free-Choice Nets (Q3011888): Difference between revisions

@@ Property / author @@
+Karsten Schmidt
@@ Property / author: Karsten Schmidt / 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-642-21834-7_11
+Normal rank
@@ Property / OpenAlex ID @@
+W65174931
@@ Property / OpenAlex ID: W65174931 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+New Algorithms for Deciding the Siphon-Trap Property
+Normal rank
@@ Property / cites work @@
+Entscheidbarkeit bei Petri Netzen
@@ Property / cites work: Entscheidbarkeit bei Petri Netzen / rank @@
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank