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

@@ 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