Pages that link to "Item:Q5282361"
From MaRDI portal
The following pages link to Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem (Q5282361):
Displaying 15 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Decentralized state estimation and diagnosis of p-time labeled Petri nets systems (Q2058497) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- (Q4606103) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)