Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398): Difference between revisions

@@ Property / cites work @@
+Distributing finite automata through Petri net synthesis
+Normal rank
@@ Property / cites work @@
+Process Mining
@@ Property / cites work: Process Mining / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms for the synthesis of bounded nets
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771633
@@ Property / cites work: Q3771633 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Reversibility of Well-Behaved Weighted Choice-Free Systems
+Normal rank
@@ Property / cites work @@
+Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
+Normal rank
@@ Property / cites work @@
+Bounded choice-free Petri net synthesis: algorithmic issues
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+A decomposition theorem for finite persistent transition systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Live and Bounded Persistent Systems
@@ Property / cites work: Synthesis of Live and Bounded Persistent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for the marked graph realisability of labelled transition systems
+Normal rank
@@ Property / cites work @@
+Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach
+Normal rank
@@ Property / cites work @@
+Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
+Normal rank
@@ Property / cites work @@
+Q4281497
@@ Property / cites work: Q4281497 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Petri nets with restricted place-environments: classical and parameterized
+Normal rank
@@ Property / cites work @@
+The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
+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 @@
+Q5019696
@@ Property / cites work: Q5019696 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / 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 @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Hard tiling problems with simple tiles
@@ Property / cites work: Hard tiling problems with simple tiles / rank @@
+Normal rank