Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198): Difference between revisions

@@ 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.1006/jcss.1999.1634
+Normal rank
@@ Property / OpenAlex ID @@
+W2039309162
@@ Property / OpenAlex ID: W2039309162 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004136
@@ Property / cites work: Q4004136 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational sets in commutative monoids
@@ Property / cites work: Rational sets in commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic weak-and-marked Petri net languages are regular
+Normal rank
@@ Property / cites work @@
+Decidability and closure properties of weak Petri net languages in supervisory control
+Normal rank
@@ Property / cites work @@
+Star-free trace languages
@@ Property / cites work: Star-free trace languages / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4190159
@@ Property / cites work: Q4190159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766866
@@ Property / cites work: Q3766866 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+A logical approach of Petri net languages
@@ Property / cites work: A logical approach of Petri net languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774962
@@ Property / cites work: Q3774962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776657
@@ Property / cites work: Q3776657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on deciding the controllability of a language K with respect to a language L
+Normal rank