Sökning: "Time Petri Nets"

Hittade 3 uppsatser innehållade orden Time 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. Reporting application at SDC : A low bandwidth mobile application

    Master-uppsats, Mittuniversitetet/Avdelningen för informations- och kommunikationssystem

    Författare :Elias Vesterlund; [2014]
    Nyckelord :Smartphone application; low bandwidth; CPN; localStorage;

    Sammanfattning : The objective of the report is to investigate which kind of mobile appli-cation, native, hybrid or web, that is the best regarding cross-platform support compared to development cost. As there are little information regarding pure web applications for mobile devices a prototype will be constructed to give light in this technology. LÄS MER

  4. 3. Foundation of Aspect Oriented Business Process Management

    Master-uppsats, Stockholms universitet/Institutionen för data- och systemvetenskap

    Författare :Amin Jalali; [2012]
    Nyckelord :Business Process Management; Separation of Concerns; Aspect Orientation; Coloured Petri Nets.;

    Sammanfattning : Reducing the complexity in information systems is a main concern on which researchers work. Separation of concerns, also known as the principle of ‘divide and conquer’, has long time been a strategy for dealing with complexity. LÄS MER