Petri Net Synthesis for Restricted Classes of Nets (Q2822652): Difference between revisions

@@ 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 @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri Net Distributability
@@ Property / cites work: Petri Net Distributability / rank @@
+Normal rank
@@ Property / cites work @@
+Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
+Normal rank
@@ Property / cites work @@
+State space axioms for T-systems
@@ Property / cites work: State space axioms for T-systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357699
@@ Property / cites work: Q5357699 / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of Petri nets from knowledge of their language
+Normal rank
@@ Property / cites work @@
+New Region-Based Algorithms for Deriving Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Proof Tree Preserving Interpolation
@@ Property / cites work: Proof Tree Preserving Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Synthesis for Asynchronous Controllers and Interfaces
+Normal rank
@@ Property / cites work @@
+Q4251924
@@ Property / cites work: Q4251924 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Process Discovery Using Integer Linear Programming
+Normal rank