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 8 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 Ws<sup>3</sup>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)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets (Q6569829) (← links)
