Search for dissertations about: "Petri Nets"

Showing result 1 - 5 of 19 swedish dissertations containing the words Petri Nets.

2. 1. Petri nets for situation recognition

   Author : Anders Dahlbom; Lars Niklasson; Göran Falkman; Amy Loutfi; Kathryn Blackmond Laskey; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Situation recognition; Petri nets; situation assessment; information fusion; rule based; Rete algorithm; genetic algorithms; TECHNOLOGY; TEKNIKVETENSKAP; Computer science; Datavetenskap; Datalogi; Computer and Systems Science; Teknik;

   Abstract : Situation recognition is a process with the goal of identifying a priori defined situations in a flow of data and information. The purpose is to aid decision makers with focusing on relevant information by filtering out situations of interest. 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. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Author : Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Abstract : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. READ MORE

6. 4. A Graphical Language for Batch Control

   Author : Charlotta Johnsson; Institutionen för reglerteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Batch Recipes; Batch Processes; Sequential Control; Grafcet; Petri nets; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

   Abstract : In this thesis a graphical language for sequential control is presented and its application to batch control is examined and discussed. The name of the language is Grafchart. Its main feature is that it makes it possible to express complicated control problems in a compact and intuitive manner. READ MORE

7. 5. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE