Search for dissertations about: "Timed Petri Nets"
Found 3 swedish dissertations containing the words Timed Petri Nets.
-
1. Model Checking Parameterized Timed Systems
Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE
-
2. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
Abstract : 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. READ MORE
-
3. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods
Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE