The synthesis of Petri nets from path-automatic specifications (Q1882929): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2004.04.004
@@ Property / DOI: 10.1016/j.ic.2004.04.004 / rank @@
-Normal rank
@@ Property / author @@
-Eric Badouel
@@ Property / author: Eric Badouel / rank @@
-Normal rank
@@ Property / author @@
-Q198039
@@ Property / author: Q198039 / rank @@
-Normal rank
@@ Property / author @@
+Eric Badouel
@@ Property / author: Eric Badouel / rank @@
+Normal rank
@@ Property / author @@
+Philippe Darondeau
@@ Property / author: Philippe Darondeau / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / 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.ic.2004.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2089759096
@@ Property / OpenAlex ID: W2089759096 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace nets and process automata
@@ Property / cites work: Trace nets and process automata / 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 @@
+Q3859267
@@ Property / cites work: Q3859267 / 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 @@
+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 @@
+Q4288284
@@ Property / cites work: Q4288284 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Rational sets in commutative monoids
@@ Property / cites work: Rational sets in commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142503
@@ Property / cites work: Q3142503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668872
@@ Property / cites work: Q3668872 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational equivalence relations
@@ Property / cites work: Rational equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508307
@@ Property / cites work: Q4508307 / 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 @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737901
@@ Property / cites work: Q4737901 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2004.04.004
@@ Property / DOI: 10.1016/J.IC.2004.04.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1882929