Sökning: "petri net"

Visar resultat 11 - 15 av 26 avhandlingar innehållade orden petri net.

1. 11. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

3. 12. Automatic Verification of Petri Netsin a CLP framework

   Författare :Hans Olsén; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. LÄS MER

4. 13. A Graphical Language for Batch Control

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

7. 15. Model Checking Parameterized Timed Systems

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

   Sammanfattning : 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. LÄS MER