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

@@ 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/0022-0000(79)90050-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1980926994
@@ Property / OpenAlex ID: W1980926994 / rank @@
+Normal rank
@@ 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