A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
Luis Alejandro Cortés · 2001
EMBEDDED SYSTEMS are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.