Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-021-00343-3
@@ Property / DOI: 10.1007/s10626-021-00343-3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Renew
@@ Property / describes a project that uses: Renew / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-021-00343-3
+Normal rank
@@ Property / OpenAlex ID @@
+W3191583928
@@ Property / OpenAlex ID: W3191583928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547765
@@ Property / cites work: Q4547765 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817573
@@ Property / cites work: Q3817573 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348471
@@ Property / cites work: Q4348471 / rank @@
+Normal rank
@@ Property / cites work @@
+Hornets: Nets within Nets Combined with Net Algebra
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and algebraic specifications
@@ Property / cites work: Petri nets and algebraic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Petri Nets as Token Objects
@@ Property / cites work: Petri Nets as Token Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-021-00343-3
@@ Property / DOI: 10.1007/S10626-021-00343-3 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2063102