Essays about: "Time Petri Nets"
Found 3 essays containing the words Time Petri Nets.
-
1. Probabilistic guarantees in model-checking with Time Petri Nets
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
2. Reporting application at SDC : A low bandwidth mobile application
University essay from Mittuniversitetet/Avdelningen för informations- och kommunikationssystemAbstract : 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
-
3. Foundation of Aspect Oriented Business Process Management
University essay from Stockholms universitet/Institutionen för data- och systemvetenskapAbstract : 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