Sökning: "Petri nets"

Visar resultat 1 - 5 av 14 uppsatser innehållade orden Petri nets.

  1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  3. 2. Modeling of Enterprise Remote SIM Profile Provisioning Solution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Hampus Holmström; [2022]
    Nyckelord :eSIM profile provisioning; CPN; Petri Nets; Formal modeling;

    Sammanfattning : Enterprise SIM profile provisioning solution is currently in development by some big players in the telecommunication industry. This solution may support an enterprise user staying anonymous to mobile network operators when remotely subscribing to SIM profiles. LÄS MER

  4. 3. Asset Management of Railway Tracks Using Stochastic Petri Nets

    Master-uppsats, Luleå tekniska universitet/Drift, underhåll och akustik

    Författare :Jaya Kumari; [2019]
    Nyckelord :;

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

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

    Kandidat-uppsats, Uppsala universitet/Institutionen för speldesign

    Författare :Martin Carlsson; [2018]
    Nyckelord :automatic code generation; Petri net; Colored Petri net; game development; Unity3D;

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

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

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Mushfiqur Rahman; [2017-07-12]
    Nyckelord :privacy policy; verification; privacy by design; data flow diagrams; privacy-aware data flow diagrams; Petri nets;

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