Petri nets
- Label
- Petri nets (literal)
- Membro di
- Keywords of "A mixed approach for the formal correctness proof of distributed programs" (Insieme di parole chiave)
- Keywords of "Vector Team Automata" (Insieme di parole chiave)
- Parole chiave di "Execution control of robotic tasks: a Petri net-based approach" (Insieme di parole chiave)
- Parole chiave di "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)
- Parole chiave di "Execution control of ROV navigation, guidance and control tasks" (Insieme di parole chiave)
- Keywords of "Web Services and Formal Methods" (Insieme di parole chiave)
- Keywords of "An e/m-Learning Architecture Based on Alternative Studying Paths" (Insieme di parole chiave)
- Value
- Petri nets (literal)
Incoming links:
- Ha membro
- Keywords of "Vector Team Automata" (Insieme di parole chiave)
- Parole chiave di "Execution control of robotic tasks: a Petri net-based approach" (Insieme di parole chiave)
- Keywords of "Web Services and Formal Methods" (Insieme di parole chiave)
- Parole chiave di "Execution control of ROV navigation, guidance and control tasks" (Insieme di parole chiave)
- Keywords of "A mixed approach for the formal correctness proof of distributed programs" (Insieme di parole chiave)
- Parole chiave di "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)
- Keywords of "An e/m-Learning Architecture Based on Alternative Studying Paths" (Insieme di parole chiave)