From DB-nets to Coloured Petri Nets with Priorities (Q6144227): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
+Normal rank
@@ Property / cites work @@
+A Fluent Calculus Semantics for ADL with Plan Constraints
+Normal rank
@@ Property / cites work @@
+Coloured Petri Nets
@@ Property / cites work: Coloured Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking Petri nets with names using data-centric dynamic systems
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Q4608666
@@ Property / cites work: Q4608666 / rank @@
+Normal rank