Synthesis and reengineering of persistent systems (Q2257983): Difference between revisions

@@ Property / describes a project that uses @@
+Synet
@@ Property / describes a project that uses: Synet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APT
@@ Property / describes a project that uses: APT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-014-0209-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2060105961
@@ Property / OpenAlex ID: W2060105961 / rank @@
+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 @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition theorem for finite persistent transition systems
+Normal rank
@@ Property / cites work @@
+Q3225713
@@ Property / cites work: Q3225713 / 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 @@
+Synthesis of Persistent Systems
@@ Property / cites work: Synthesis of Persistent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Structure Theory of Petri Nets
@@ Property / cites work: Structure Theory of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A decidability theorem for a class of vector-addition systems
+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 @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+Synchronisationsgraphen
@@ Property / cites work: Synchronisationsgraphen / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets
+Normal rank
@@ Property / cites work @@
+Arbitration-free synchronization
@@ Property / cites work: Arbitration-free synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4263299
@@ Property / cites work: Q4263299 / rank @@
+Normal rank
@@ Property / cites work @@
+On Causal Semantics of Petri Nets
@@ Property / cites work: On Causal Semantics of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On Distributability of Petri Nets
@@ Property / cites work: On Distributability of Petri Nets / rank @@
+Normal rank