Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

✍ Scribed by Mark-Oliver Stehr; José Meseguer; Peter Csaba Ölveczky

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 266 KB
• Volume: 44
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)80949-6