Regions of Petri nets with a/sync connections (Q714824): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.04.016
+Normal rank
@@ Property / OpenAlex ID @@
+W1970813562
@@ Property / OpenAlex ID: W1970813562 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-safe nets: Comparing the collective and individual token approaches.
+Normal rank
@@ Property / cites work @@
+Synthesis of nets with inhibitor arcs
@@ Property / cites work: Synthesis of nets with inhibitor arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+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 @@
+On the Petri net realization of context-free graphs
+Normal rank
@@ Property / cites work @@
+Synthesis of Nets with Step Firing Policies
@@ Property / cites work: Synthesis of Nets with Step Firing Policies / 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 @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+A trace semantics for Petri nets
@@ Property / cites work: A trace semantics for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Localities in systems with a/sync communication
@@ Property / cites work: Localities in systems with a/sync communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4621135
@@ Property / cites work: Q4621135 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
+Normal rank
@@ Property / cites work @@
+PETRI NETS AND STEP TRANSITION SYSTEMS
@@ Property / cites work: PETRI NETS AND STEP TRANSITION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary transition systems
@@ Property / cites work: Elementary transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547954
@@ Property / cites work: Q4547954 / rank @@
+Normal rank
@@ Property / cites work @@
+Flip-flop nets
@@ Property / cites work: Flip-flop nets / rank @@
+Normal rank
@@ Property / cites work @@
+Process Discovery Using Integer Linear Programming
+Normal rank