Pages that link to "Item:Q5398017"
From MaRDI portal
The following pages link to Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets (Q5398017):
Displaying 9 items.
- Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Confusion analysis and detection for workflow nets (Q2321511) (← links)
- Design of traffic safety control systems for railroads and roadways using timed Petri nets (Q2789965) (← links)
- New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets (Q2789998) (← links)
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (Q2828481) (← links)
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS (Q2960118) (← links)
- Confusion avoidance for discrete event systems by P/E constraints and supervisory control (Q4683964) (← links)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets (Q6569829) (← links)
