Essays about: "Petri net"

Showing result 1 - 5 of 8 essays containing the words Petri net.

  1. 1. Asset Management of Railway Tracks Using Stochastic Petri Nets

    University essay from Luleå tekniska universitet/Drift, underhåll och akustik

    Author : Jaya Kumari; [2019]
    Keywords : ;

    Abstract : Railways are one of the most important transport systems. It is crucial to have a rail network that is safe, reliable and available. Asset Management for railways involves the optimization of the maintenance activities based on asset condition, life cycle cost and availability of equipment. READ MORE

  2. 2. Automatic Code Generation from a Colored Petri Net Specification for Game Development with Unity3D

    University essay from Uppsala universitet/Högskolan på Gotland/Institutionen för speldesign

    Author : Martin Carlsson; [2018]
    Keywords : automatic code generation; Petri net; Colored Petri net; game development; Unity3D;

    Abstract : This thesis proposes an approach for automatic code generation from a Colored Petri net specification. Two tools were developed for the aforementioned purpose, a Colored Petri net editor to create and modify Colored Petri nets, and an automatic code generator to generate code from a Colored Petri net specification. READ MORE

  3. 3. A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Mushfiqur Rahman; [2017-07-12]
    Keywords : privacy policy; verification; privacy by design; data flow diagrams; privacy-aware data flow diagrams; Petri nets;

    Abstract : Privacy of personal data in information systems is gaining importance rapidly. Although data flow diagrams (DFDs) are commonly used for designing information systems, they do not have appropriate elements to address privacy of personal data. Privacy-aware data flow diagrams (PA-DFDs) were introduced recently to tackle this issue. READ MORE

  4. 4. Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Matteo Settenvini; [2014]
    Keywords : pi-calculus; static verification; static analysis; concurrency; petri nets; name boundedness;

    Abstract : Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. READ MORE

  5. 5. Proving liveness properties of concurrent programs using petri-nets

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Fredrik Loch; [2014]
    Keywords : ;

    Abstract : With the increased scale of distributed computations the complexity of liveness proofs have increased. In this paper we endeavor to simplify the process of verifying a concurrent system using well know modeling techniques. The choice of modeling tool as well as the proof is based on future scalability and automation. READ MORE