Pages that link to "Item:Q6563357"
From MaRDI portal
The following pages link to Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357):
Displaying 4 items.
- Regulation of game result for \(n\)-person random evolutionary Boolean games (Q6570434) (← links)
- Security and privacy with opacity-based state observation for finite state machine (Q6578723) (← links)
- A new look at the critical observability of finite state machines from an algebraic viewpoint (Q6579017) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)