Extending propositional dynamic logic for Petri nets (Q281154): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578788
@@ Property / zbMATH DE Number: 6578788 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic logic
@@ Property / zbMATH Keywords: dynamic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic Petri nets
@@ Property / zbMATH Keywords: stochastic Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank

Revision as of 17:35, 27 June 2023