Timed Petri nets and temporal linear logic (Q6487374): Difference between revisions

@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Timed Petri nets: Classification and comparative analysis
+Normal rank
@@ Property / cites work @@
+Temporal logic and categories of Petri nets
@@ Property / cites work: Temporal logic and categories of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for linear logic on Petri nets
+Normal rank
@@ Property / cites work @@
+Q4518434
@@ Property / cites work: Q4518434 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution of concurrent systems using Petri nets
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of fairness and temporal logic problems for Petri nets
+Normal rank
@@ Property / cites work @@
+Q3820002
@@ Property / cites work: Q3820002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490754
@@ Property / cites work: Q4490754 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank