Essays about: "Time Petri Nets"

Found 3 essays containing the words Time 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. Reporting application at SDC : A low bandwidth mobile application

   University essay from Mittuniversitetet/Avdelningen för informations- och kommunikationssystem

   Author : Elias Vesterlund; [2014]
   Keywords : Smartphone application; low bandwidth; CPN; localStorage;

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

4. 3. Foundation of Aspect Oriented Business Process Management

   University essay from Stockholms universitet/Institutionen för data- och systemvetenskap

   Author : Amin Jalali; [2012]
   Keywords : Business Process Management; Separation of Concerns; Aspect Orientation; Coloured Petri Nets.;

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