Fault model identification and synthesis in Petri nets (Q2348378): Difference between revisions

@@ 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-014-0190-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2078351107
@@ Property / OpenAlex ID: W2078351107 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace nets and process automata
@@ Property / cites work: Trace nets and process automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+Real time identification of discrete event systems using Petri nets
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+Q3602749
@@ Property / cites work: Q3602749 / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of Petri nets from knowledge of their language
+Normal rank
@@ Property / cites work @@
+Fault model identification and synthesis in Petri nets
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Marking Estimation of Petri Nets With Silent Transitions
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+On-line fault detection in discrete event systems by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. I: Basic notions and the representation problems
+Normal rank
@@ Property / cites work @@
+Complete Process Semantics for Inhibitor Nets
@@ Property / cites work: Complete Process Semantics for Inhibitor Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Synthesis of Petri Nets from Scenarios
@@ Property / cites work: Towards Synthesis of Petri Nets from Scenarios / rank @@
+Normal rank