A method for stepwise refinement and abstraction of Petri nets (Q1052100): 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(83)90029-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1997871183
@@ Property / OpenAlex ID: W1997871183 / rank @@
+Normal rank
@@ Property / cites work @@
+Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
+Normal rank
@@ Property / cites work @@
+Relevance of network theory to models of distributed/parallel processing
+Normal rank
@@ Property / cites work @@
+Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
+Normal rank
@@ Property / cites work @@
+Reduction and expansion of live and safe marked graphs
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1052100