Search for dissertations about: "Timed Petri Nets"

Found 3 swedish dissertations containing the words Timed Petri Nets.

2. 1. Model Checking Parameterized Timed Systems

   Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   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

4. 2. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

   Author : Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Computer systems; Real-time embedded systems; Petri nets; Semantics; Computer science; Datavetenskap;

   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

5. 3. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

   Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
   Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

   Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE