Sökning: "petri net"

Visar resultat 6 - 10 av 26 avhandlingar innehållade orden petri net.

  1. 6. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

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

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

  3. 7. Verification of Component-based Embedded System Designs

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

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

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

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

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

  5. 9. Scheduling for production systems

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

    Sammanfattning : .... LÄS MER

  7. 10. A Petri net based unified representation for hardware/software co-design

    Författare :Erik Stoy; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

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