Paper Info
Title
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow
Abstract
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.
Year
DOI
Venue
2002
10.1007/3-540-48068-4_23
ICATPN
Keywords
Field
DocType
overall processing,active document workflow,transition net,refined net,workflow designer,hierarchical structure,document token,document author,hierarchical petri nets,refinable place,token-controlled place refinement,control information,petri net
Permission,Petri net,Programming language,Concurrency,Computer science,Document management system,Predicate (grammar),Security token,Workflow,Workflow management system,Database,Distributed computing
Conference
Volume
ISSN
ISBN
2360
0302-9743
3-540-43787-8
Citations 
PageRank 
References 
4
0.43
17
Authors
2
Name
Order
Citations
PageRank
David G. Stork1627106.17
Rob J. van Glabbeek21930134.34