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 language | English |
---|---|
Title of host publication | Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings |
Editors | J. Esparza, C. Lakos |
Publisher | Springer |
Pages | 394-413 |
Number of pages | 20 |
Volume | 2360 |
ISBN (Electronic) | 978-3-540-48068-6 |
ISBN (Print) | 978-3-540-43787-1 |
DOIs | |
Publication status | Published - 12 Jun 2002 |
Event | 23rd International Conference on Application and Theory of Petri Nets 2002 - Adelaide, Australia Duration: 24 Jun 2002 → 30 Jun 2002 Conference number: 23 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 2360 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 23rd International Conference on Application and Theory of Petri Nets 2002 |
---|---|
Abbreviated title | ICATPN 2002 |
Country/Territory | Australia |
City | Adelaide |
Period | 24/06/02 → 30/06/02 |