Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561): Difference between revisions

@@ Property / author @@
+Mario R. F. Benevides
@@ Property / author: Mario R. F. Benevides / rank @@
+Normal rank
@@ Property / author @@
+Bruno D. Lopes
@@ Property / author: Bruno D. Lopes / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Petri-PDL
@@ Property / describes a project that uses: Petri-PDL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2018.01.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2784333464
@@ Property / OpenAlex ID: W2784333464 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection of programs: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+A Propositional Dynamic Logic for CCS Programs
@@ Property / cites work: A Propositional Dynamic Logic for CCS Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Petri Nets with Iteration
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
+Normal rank
@@ Property / cites work @@
+DAL -- a logic for data analysis
@@ Property / cites work: DAL -- a logic for data analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+Normal rank
@@ Property / cites work @@
+Deciding Properties of Nonregular Programs
@@ Property / cites work: Deciding Properties of Nonregular Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic codes and grammar refinement
@@ Property / cites work: Syntactic codes and grammar refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic with recursive programs
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic for Petri nets
@@ Property / cites work: Propositional dynamic logic for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Extending propositional dynamic logic for Petri nets
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3957925
@@ Property / cites work: Q3957925 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Communication in concurrent dynamic logic
@@ Property / cites work: Communication in concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3475251
@@ Property / cites work: Q3475251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325792
@@ Property / cites work: Q4325792 / rank @@
+Normal rank
@@ Property / cites work @@
+Executions: A new partial-order semantics of Petri nets
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank