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 Nets

  • M. A. Bednarczyk, L. Bernardinello, and L. Pawlowski, W. Pomello.
    Modelling mobility with Petri hypernets.
    In J. L. Fiadeiro, P. D. Mosses, and F. Orejas, editors, Proc. of the Int. Workshop on Recent Trends in Algebraic Development Techniques (WADT04), volume 3423 of LNCS. Springer, 2004.
  • H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, editors.
    Advances in Petri Nets: Unifying Petri Nets, volume 2128 of LNCS.
    Springer, 2001.
  • Yanbo Han.
    Software Infrastructure for Configurable Workflow System - A Model-Driven Approach Based on Higher-Order Nets and CORBA.
    PhD thesis, Technical University Berlin, 1997.
  • K. Hoffmann, H. Ehrig, and T. Mossakowski.
    High-Level Nets with Nets and Rules as Tokens.
    In G. Ciardo and P. Darondeau, editors, Proc. of the Int. Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ATPN'05), volume 3536 of LNCS, pages 268-288. Springer, 2005.
  • K. Hoffmann.
    Formal Approach and Applications of Algebraic Higher Order Nets.
    PhD thesis, Technical University Berlin, 2005.
  • K. Hoffmann, F. Parisi-Presicce, and T. Mossakowski.
    Higher-Order Nets for Mobile Policies.
    In G. Rozenberg, H. Ehrig, and J. Padberg, editors, Proc. of the Workshop on Petri Nets and Graph Transformation (PNGT), Satellite Event of ICGT'04, volume 127(2), pages 87-105. Elsevier Science, 2005.
  • O. Kummer.
    Referenznetze.
    Logos Verlag, Berlin, 2002.
  • E. Kindler and M. Weber.
    The petri net kernel - an infrastructure for building petri net tools.
    Software Tools for Technology Transfer, 3(4):486-497, 2001.
  • J. Meseguer, U. Montanari, and V. Sassone.
    On the Semantics of Place/Transition Petri Nets.
    Mathematical Structures in Computer Science, 7:359-397, 1997.
  • J. Padberg.
    Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement.
    PhD thesis, Technical University Berlin, 1996. Shaker Verlag.
  • J. Padberg, H. Ehrig, and L. Ribeiro.
    Algebraic High-Level Net Transformation Systems.
    Mathematical Structures in Computer Science, 5:217-256, 1995.
  • W. Reisig.
    Petri Nets and Algebraic Specifications.
    Theoretical Computer Science, 80:1-34, 1991.
  • R. Valk.
    Petri Nets as Token Objects: An Introduction to Elementary Object Nets.
    In J. Desel and M. Silva, editors, Proc. of the Int. Conference on Application and Theory of Petri Nets (ICATPN'98), volume 1420 of LNCS, pages 1-25. Springer, 1998.
  • R. Valk.
    Concurrency in Communicating Object Petri Nets.
    In G. Agha, F. de Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of LNCS, pages 164-195. Springer, 2001.
  • H. Weber, H. Ehrig, and W. Reisig, editors.
    2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, Sept. 2001.
    Researcher Group Petri Net Technology, Fraunhofer Gesellschaft ISST.