Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
+Normal rank
@@ Property / cites work @@
+Q5216152
@@ Property / cites work: Q5216152 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded choice-free Petri net synthesis: algorithmic issues
+Normal rank
@@ Property / cites work @@
+Over-approximative Petri net synthesis for restricted subclasses of nets
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms for the synthesis of bounded nets
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Factorisation of transition systems
@@ Property / cites work: Factorisation of transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Factorisation of Petri net solvable transition systems
+Normal rank
@@ Property / cites work @@
+Articulation of Transition Systems and Its Application to Petri Net Synthesis
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / 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 @@
+Q4055201
@@ Property / cites work: Q4055201 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining bridge-connected and biconnected components on-line
+Normal rank
@@ Property / cites work @@
+The box algebra = Petri nets + process expressions
+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 @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Q5808752
@@ Property / cites work: Q5808752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051879
@@ Property / cites work: Q4051879 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolating Quantifier-Free Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Hardness Results for the Synthesis of b-bounded Petri Nets
+Normal rank
@@ Property / OpenAlex ID @@
+W3208987153
@@ Property / OpenAlex ID: W3208987153 / rank @@
+Normal rank