What topology tells us about diagnosability in partial order semantics (Q351726): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-011-0121-z
@@ Property / DOI: 10.1007/s10626-011-0121-z / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B07
@@ Property / Mathematics Subject Classification ID: 93B07 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6185560
@@ Property / zbMATH DE Number: 6185560 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discrete event systems
@@ Property / zbMATH Keywords: discrete event systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+diagnosis
@@ Property / zbMATH Keywords: diagnosis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+events
@@ Property / zbMATH Keywords: events / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+observability
@@ Property / zbMATH Keywords: observability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial order semantics
@@ Property / zbMATH Keywords: partial order semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+event structures
@@ Property / zbMATH Keywords: event structures / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ 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.1007/s10626-011-0121-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2115052909
@@ Property / OpenAlex ID: W2115052909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387678
@@ Property / cites work: Q5387678 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Unfolding-based diagnosis of systems with an evolving topology
+Normal rank
@@ Property / cites work @@
+Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order techniques for distributed discrete event systems: why you cannot avoid using them
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Predictability of event occurrences in partially-observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+What topology tells us about diagnosability in partial order semantics
+Normal rank
@@ Property / cites work @@
+Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
+Normal rank
@@ Property / cites work @@
+The topology of Mazurkiewicz traces.
@@ Property / cites work: The topology of Mazurkiewicz traces. / rank @@
+Normal rank
@@ Property / cites work @@
+A metric for traces
@@ Property / cites work: A metric for traces / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+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 @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-011-0121-Z
@@ Property / DOI: 10.1007/S10626-011-0121-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:351726