Higher-order petri net modelling: techniques and applications

  • Authors:
  • Jörn W. Janneck;Robert Esser

  • Affiliations:
  • EECS Department, University of California at Berkeley, Berkeley, CA;Department of Computer Science, The University of Adelaide, Adelaide, S.A. 5005 Australia

  • Venue:
  • CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Higher-order Petri nets are a class of high-level Petri nets, in which Petri nets themselves are first-class objects. Here tokens may represent Petri nets and Petri nets may be the values of parameters and variables, as well as the result of computations performed during the occurrence of transitions. These features facilitate a number of very powerful higher-order modelling techniques, making Petri nets much more flexible, compositional, and the resulting models more reusable. This work explores the usefulness of some of these techniques by looking at them from an application point of view and by illustrating them with small to medium-sized application examples.