Applying regions (Q728281): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.01.040
@@ Property / DOI: 10.1016/j.tcs.2016.01.040 / rank @@
-Normal rank
@@ Property / author @@
-H. C. M. Kleijn
@@ Property / author: H. C. M. Kleijn / rank @@
-Normal rank
@@ Property / author @@
+H. C. M. Kleijn
@@ Property / author: H. C. M. Kleijn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+rbminer
@@ Property / describes a project that uses: rbminer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VipTool
@@ Property / describes a project that uses: VipTool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Genet
@@ Property / describes a project that uses: Genet / 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.1016/j.tcs.2016.01.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2914059514
@@ Property / OpenAlex ID: W2914059514 / rank @@
+Normal rank
@@ Property / cites work @@
+A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
+Normal rank
@@ Property / cites work @@
+The synthesis problem for elementary net systems is NP-complete
+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 @@
+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 @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+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 @@
+Regions of Petri nets with a/sync connections
@@ Property / cites work: Regions of Petri nets with a/sync connections / rank @@
+Normal rank
@@ Property / cites work @@
+Tissue Systems and Petri Net Synthesis
@@ Property / cites work: Tissue Systems and Petri Net Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601863
@@ Property / cites work: Q3601863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4621135
@@ Property / cites work: Q4621135 / rank @@
+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
@@ Property / DOI @@
+.1016/J.TCS.2016.01.040
@@ Property / DOI: 10.1016/J.TCS.2016.01.040 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:728281