Token-controlled place refinement in hierarchical Petri nets with application to active document workflow

D.G. Stork, R.J. van Glabbeek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We propose extensions to predicate/transition nets to allow tokens to carry both data and control information, where such control can refine special “refinable place nodes” in the net. These formal extensions find use in active document workflow, in which documents themselves specify portions of the overall processing within a workflow net. Our approach enables the workflow designer to specify which places of the target predicate/transition net may be refined and it enables the document author to specify how these places will be refined (via attachment of a token-generated “refinement net”). This apportionment of the overall task allows the workflow designer to set general constraints within which the document author can control the processing; it prevents conflicts between them in foreseeable practical cases. Refinable places are augmented with a permission structure specifying which document authors can refine that place and which document tokens can execute a node’s refinement net. Our refined nets have a hierarchical structure which can be represented by bipartite trees.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
EditorsJ. Esparza, C. Lakos
PublisherSpringer-Verlag
Pages394-413
Number of pages20
Volume2360
ISBN (Electronic)978-3-540-48068-6
ISBN (Print)978-3-540-43787-1
DOIs
Publication statusPublished - 12 Jun 2002
Event23rd International Conference on Application and Theory of Petri Nets 2002 - Adelaide, Australia
Duration: 24 Jun 200230 Jun 2002
Conference number: 23

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume2360
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd International Conference on Application and Theory of Petri Nets 2002
Abbreviated titleICATPN 2002
Country/TerritoryAustralia
CityAdelaide
Period24/06/0230/06/02

Fingerprint

Dive into the research topics of 'Token-controlled place refinement in hierarchical Petri nets with application to active document workflow'. Together they form a unique fingerprint.

Cite this