Sökning: "petri net"

Visar resultat 1 - 5 av 16 uppsatser innehållade orden petri net.

  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. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Arvid Bergman Thörn; [2023]
    Nyckelord :Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Sammanfattning : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. LÄS MER

  4. 3. När en tonåring förlorar en förälder i cancer – en litteraturöversikt

    Kandidat-uppsats,

    Författare :Alva Petri; Sandra Björk Ingolfsdóttir; [2020-08-06]
    Nyckelord :Cancer; tonåring; upplevelser; stöd; förälder; hälsokonsekvenser;

    Sammanfattning : BAKGRUND: Sverige har en av den bästa cancervården i världen och allt fler överlever sjukdomen. Trots det är det många människor och familjer som drabbas och över tusen minderåriga barn förlorar varje år en förälder till sviten av cancer. LÄS MER

  5. 4. Från himladrottning till dygdig tjänarinna. Mariologiskt betingade förändringar i 1500-talets svenska reformatoriska skrifter

    Kandidat-uppsats, Göteborgs universitet/Institutionen för litteratur, idéhistoria och religion

    Författare :Fanny Wingborg; [2020-01-29]
    Nyckelord :mariology; virgin Mary; reformation; Olaus Petri; Laurentius Petri; doctrine of vocation;

    Sammanfattning : This thesis examines the mariological changes of the Swedish reformatory process in the 16th century. Two main questions are asked: What image, or images, of the virgin Mary are mediated in the religious literature of the 16th century, and how do these images correspond to Lutheran theology? A selection of reformatory prayers, sermons and hymns have been closely read and analysed. LÄS MER

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