k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618): Difference between revisions

@@ label / en / label / en @@
+k-Bounded Petri Net Synthesis from Modal Transition Systems.
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2017.6
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2017.6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Motras
@@ Property / describes a project that uses: Motras / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APT
@@ Property / describes a project that uses: APT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445157
@@ Property / cites work: Q5445157 / rank @@
+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 @@
+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 @@
+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 @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+MoTraS: A Tool for Modal Transition Systems and Their Extensions
+Normal rank
@@ Property / cites work @@
+Q4608667
@@ Property / cites work: Q4608667 / rank @@
+Normal rank
@@ Property / cites work @@
+On Characterising Distributability
@@ Property / cites work: On Characterising Distributability / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2017/7780/pdf/LIPIcs-CONCUR-2017-6.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2759275744
@@ Property / OpenAlex ID: W2759275744 / rank @@
+Normal rank
@@ Property / title @@
+k-Bounded Petri Net Synthesis from Modal Transition Systems. (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2017.6
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2017.6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5111618