Pages that link to "Item:Q5959841"

The following pages link to Structuring acyclic Petri nets for reachability analysis and control (Q5959841):

Displaying 7 items.

• Supervision based on place invariants: a survey (Q858151) (← links)
• Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875) (← links)
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
• On Compositionality of Dinatural Transformations (Q5079758) (← links)
• Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships (Q5213917) (← links)
• Diagnosis on a sliding window for partially observable Petri nets (Q5878514) (← links)