High-Level Timed Petri Nets as a kernel for executable specifications

✍ Scribed by Miguel Felder; Carlo Ghezzi; Mauro Pezzé

• Publisher: Springer US
• Year: 1993
• Tongue: English
• Weight: 978 KB
• Volume: 5
• Category: Article
• ISSN: 0922-6443
• DOI: 10.1007/bf01088590