Dynamic Networks of Timed Petri Nets (Q5166770): Difference between revisions

@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601860
@@ Property / cites work: Q3601860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766563
@@ Property / cites work: Q2766563 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+ω-Petri Nets
@@ Property / cites work: ω-Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / 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 @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Dynamic Networks of Timed Petri Nets
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q3601864
@@ Property / cites work: Q3601864 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank