Formal translation from reversing Petri nets to coloured Petri nets (Q2097427): Difference between revisions

@@ Property / cites work @@
+Reversing Transitions in Bounded Petri Nets
@@ Property / cites work: Reversing Transitions in Bounded Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Computation vs. Reversibility in Petri Nets
+Normal rank
@@ Property / cites work @@
+Investigating Reversibility of Steps in Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4877483
@@ Property / cites work: Q4877483 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible occurrence nets and causal reversible prime event structures
+Normal rank
@@ Property / cites work @@
+Q5129948
@@ Property / cites work: Q5129948 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Unbounded Petri Nets
@@ Property / cites work: Reversing Unbounded Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computation in nets with bonds
@@ Property / cites work: Reversible computation in nets with bonds / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
+Normal rank
@@ Property / cites work @@
+Reversible computation in Petri nets
@@ Property / cites work: Reversible computation in Petri nets / rank @@
+Normal rank