Trellis processes: a compact representation for runs of concurrent systems (Q2465670): Difference between revisions

@@ Property / cites work @@
+Diagnosis of large active systems
@@ Property / cites work: Diagnosis of large active systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Q4535793
@@ Property / cites work: Q4535793 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270050
@@ Property / cites work: Q4270050 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Control of safe ordinary Petri nets using unfolding
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184417
@@ Property / cites work: Q5184417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683531
@@ Property / cites work: Q3683531 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank
@@ Property / cites work @@
+A general architecture for decentralized supervisory control of discrete-event systems
+Normal rank