Synthesis of Persistent Systems (Q5166759): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-07734-5_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1577372958
@@ Property / OpenAlex ID: W1577372958 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+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 @@
+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 @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank