Essays about: "Petri Nets"

Showing result 1 - 5 of 13 essays containing the words Petri Nets.

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Abstract : 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. READ MORE

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

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Hampus Holmström; [2022]
    Keywords : eSIM profile provisioning; CPN; Petri Nets; Formal modeling;

    Abstract : 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. READ MORE

  4. 3. 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

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

    University essay from Uppsala universitet/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

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