Synthesis of (choice-free) reset nets (Q2117175): Difference between revisions

@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
+Normal rank
@@ Property / cites work @@
+Synthesis of Persistent Systems
@@ Property / cites work: Synthesis of Persistent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Target-oriented Petri Net Synthesis
@@ Property / cites work: Target-oriented Petri Net Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded choice-free Petri net synthesis: algorithmic issues
+Normal rank
@@ Property / cites work @@
+A New Property of Choice-Free Petri Net Systems
@@ Property / cites work: A New Property of Choice-Free Petri Net Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis problem of Petri nets
@@ Property / cites work: The synthesis problem of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of weighted marked graph Petri nets
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055201
@@ Property / cites work: Q4055201 / rank @@
+Normal rank
@@ Property / cites work @@
+Over-approximative Petri net synthesis for restricted subclasses of nets
+Normal rank
@@ Property / cites work @@
+Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results
+Normal rank