Search for dissertations about: "Petri-net"

Showing result 1 - 5 of 21 swedish dissertations containing the word Petri-net.

  2. 1. Verification of Component-based Embedded System Designs

    Author : Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
    Keywords : Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. READ MORE

  4. 2. Towards Formal Verification in a Component-based Reuse Methodology

    Author : Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

    Abstract : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). READ MORE

  5. 3. Scheduling for production systems

    Author : Torbjörn Liljenvall; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; heuristics; job-shop; limited buffers; A*; deadlock; multi purpouse batch plants; scheduling; flexible manufacturing systems; petri net; automata;

    Abstract : .... READ MORE

  6. 4. A Petri net based unified representation for hardware/software co-design

    Author : Erik Stoy; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis describes and defines a design representation model for hardware/software co-design. To illustrate its usefulness we show how designs captured in the representation can be repartitioned by moving functionality between hardware and software. READ MORE

  7. 5. 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