Nested Nets for Adaptive Systems

@inproceedings{Hee2006NestedNF,
  title={Nested Nets for Adaptive Systems},
  author={K. V. Hee and I. Lomazova and Olivia Oanea and Alexander Serebrenik and N. Sidorova and M. Voorhoeve},
  booktitle={ICATPN},
  year={2006}
}
  • K. V. Hee, I. Lomazova, +3 authors M. Voorhoeve
  • Published in ICATPN 2006
  • Computer Science
  • We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the running example. To achieve the desired flexibility we allow transitions that create new nets out of the… CONTINUE READING
    59 Citations
    Checking Properties of Adaptive Workflow Nets
    • 20
    • PDF
    Nested Petri Nets for Adaptive Process Modeling
    • I. Lomazova
    • Computer Science
    • Pillars of Computer Science
    • 2008
    • 32
    Hornets: Nets within Nets Combined with Net Algebra
    • 39
    • PDF
    Modeling Workflows with Recursive ECATNets
    • 12
    Branching Processes of Conservative Nested Petri Nets
    • 3
    • PDF
    Verification of Nested Petri Nets Using an Unfolding Approach
    • 2
    • PDF
    Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets
    • 12
    Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
    • 24
    • PDF
    Use of “Petri nets system” concept in modeling dynamics with increased complexity
    • O. Tarabuta
    • Computer Science
    • 15th International Conference on System Theory, Control and Computing
    • 2011
    • 5
    Hypernets: a class of hierarchical petri nets
    • 8
    • PDF

    References

    SHOWING 1-10 OF 48 REFERENCES
    Generalised Soundness of Workflow Nets Is Decidable
    • 84
    • PDF
    Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
    • 21
    The Application of Petri Nets to Workflow Management
    • W. V. Aalst
    • Computer Science
    • J. Circuits Syst. Comput.
    • 1998
    • 2,851
    • PDF
    Nested Petri Nets: Multi-level and Recursive Systems
    • 63
    Object Petri Nets: Using the Nets-within-Nets Paradigm
    • R. Valk
    • Computer Science
    • Lectures on Concurrency and Petri Nets
    • 2003
    • 132
    • PDF
    Design for Change: Evolving Workflow Specifications in ULTRAflow
    • 44
    • PDF
    Lectures on Concurrency and Petri Nets
    • 293
    • PDF
    Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
    • W. V. Aalst
    • Computer Science
    • Business Process Management
    • 2000
    • 472
    • PDF
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
    • 132
    • PDF
    Verification of Workflow Nets
    • 900
    • PDF