Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660): Difference between revisions

@@ 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 @@
+Robustness of Time Petri Nets under Guard Enlargement
+Normal rank
@@ Property / cites work @@
+Q4784053
@@ Property / cites work: Q4784053 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+The expressive power of time Petri nets
@@ Property / cites work: The expressive power of time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
+Normal rank
@@ Property / cites work @@
+On Multi-enabledness in Time Petri Nets
@@ Property / cites work: On Multi-enabledness in Time Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness in Timed Automata
@@ Property / cites work: Robustness in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Back in Time Petri Nets
@@ Property / cites work: Back in Time Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Communicating Timed Processes
@@ Property / cites work: Reachability of Communicating Timed Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Topologies for Communicating Automata with FIFO and Bag Channels
+Normal rank
@@ Property / cites work @@
+From Time Petri Nets to Timed Automata: An Untimed Approach
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / 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 @@
+Verification of Timed-Arc Petri Nets
@@ Property / cites work: Verification of Timed-Arc Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of Timed-Arc Workflow Nets
@@ Property / cites work: Soundness of Timed-Arc Workflow Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Time Petri Nets Strike Back!
@@ Property / cites work: Weak Time Petri Nets Strike Back! / rank @@
+Normal rank