Unfolding-based diagnosis of systems with an evolving topology (Q1959480): Difference between revisions

@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of discrete event systems using decentralized architectures
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Non-sequential Behaviour of Dynamic Nets
@@ Property / cites work: Non-sequential Behaviour of Dynamic Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding-Based Diagnosis of Systems with an Evolving Topology
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Unfolding semantics of graph transformation
@@ Property / cites work: Unfolding semantics of graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Unfolding Grammars in Adhesive Categories
@@ Property / cites work: Unfolding Grammars in Adhesive Categories / rank @@
+Normal rank