3 research outputs found

    Reactive Petri Nets for Workflow Modeling

    Full text link
    Petri nets are widely used for modeling and analyzing workflows

    Non-Controllable Choice Robustness - Expressing the Controllability of Workflow Processes

    No full text
    Workflow systems are reactive systems. They run in parallel with their environment. They respond to external events and produce events which again have certain effects in the environment. Most approaches in modeling workflow systems assume reasonable behavior of the environment. They disregard malicious requests such as e.g. denial-of-service attacks or hacker attacks trying to misuse the provided services

    Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

    Get PDF
    This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0
    corecore