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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-09005-9_12
+Normal rank
@@ Property / OpenAlex ID @@
+W4293210571
@@ Property / OpenAlex ID: W4293210571 / rank @@
+Normal rank
@@ 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