Analysis of Petri nets by stepwise refinements (Q1255320): Difference between revisions

@@ Property / cites work @@
+A Theory of Asynchronous Control Networks
@@ Property / cites work: A Theory of Asynchronous Control Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of structured programs
@@ Property / cites work: Analysis of structured programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computation sequence sets
@@ Property / cites work: Computation sequence sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766863
@@ Property / cites work: Q3766863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058886
@@ Property / cites work: Q4058886 / rank @@
+Normal rank