Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)

Contents
People
Contact
Results
Literature
MANETs
Workflows
Graph and Net transformation
Petri Nets
Petri Net Processes

Petri Net Processes

  • H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel.
    High-Level Net Processes.
    In W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa, editors, Formal and Natural Computing, volume 2300 of LNCS, pages 191 - 219. Springer, 2002.
  • H. Ehrig.
    Behaviour and Instantiation of High-Level Petri Net Processes.
    Fundamenta Informaticae, 64:1-37, 2004.
  • U. Goltz and W. Reisig.
    The Non-Sequential Behaviour of PetriNets.
    In Information and Computation, volume 57, pages 125-147. Academic Press, 1983.