The following pages link to (Q4185813):
Displayed 10 items.
- Performance evaluation of concurrent systems using Petri nets (Q789900) (← links)
- Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets (Q1071516) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- A generic causal model for place latency. (Q1853520) (← links)
- Feedback control of Petri nets based on place invariants (Q1911289) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Fuzzy timed Petri nets - analysis and implementation (Q2473102) (← links)
- Contraction of the ITCPN state space (Q2842567) (← links)
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) (Q2842569) (← links)