Qualitative model based verification of operating procedures by high level petri nets

✍ Scribed by M. Gerzson; Zs. Csáki; K.M. Mangos

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 402 KB
• Volume: 18
• Category: Article
• ISSN: 0098-1354
• DOI: 10.1016/0098-1354(94)80092-8