Q5019696 (Q5019696): Difference between revisions

@@ Property / describes a project that uses @@
+APT
@@ Property / describes a project that uses: APT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08871
@@ Property / arXiv ID: 2009.08871 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Mining
@@ Property / cites work: Process Mining / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing finite automata through Petri net synthesis
+Normal rank
@@ Property / cites work @@
+Trace nets and process automata
@@ Property / cites work: Trace nets and process automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771633
@@ Property / cites work: Q3771633 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded choice-free Petri net synthesis: algorithmic issues
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4003214
@@ Property / cites work: Q4003214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608667
@@ Property / cites work: Q4608667 / rank @@
+Normal rank
@@ Property / cites work @@
+Flip-flop nets
@@ Property / cites work: Flip-flop nets / rank @@
+Normal rank
@@ Property / cites work @@
+Finding optimum branchings
@@ Property / cites work: Finding optimum branchings / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
+Normal rank
@@ Property / cites work @@
+Hardness Results for the Synthesis of b-bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results
+Normal rank
@@ Property / cites work @@
+Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18--20, 2020. Proceedings
+Normal rank
@@ Property / cites work @@
+The complexity of Boolean state separation
@@ Property / cites work: The complexity of Boolean state separation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009430
@@ Property / cites work: Q5009430 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary net synthesis remains NP-complete even for extremely simple inputs
+Normal rank
@@ Property / cites work @@
+Relabelling LTS for Petri net synthesis via solving separation problems
+Normal rank
@@ Property / cites work @@
+Presynthesis of bounded choice-free or fork-attribution nets
+Normal rank
@@ Property / cites work @@
+Transition systems of Elementary Net Systems with inhibitor arcs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5019696