On liveness in Extended Non Self-Controlling Nets (Q5096358): Difference between revisions

@@ 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/3-540-60029-9_32
+Normal rank
@@ Property / OpenAlex ID @@
+W1866370004
@@ Property / OpenAlex ID: W1866370004 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm to decide liveness of bounded free choice nets
+Normal rank
@@ Property / cites work @@
+Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096358