Instantiating nets and their applications to workflow nets

Proceedings - Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2005

Volumn 2005, Issue , 2005, Pages 367-373

  Ţiplea, Ferucio Laurenţiu ^a,c   Ţiplea, Aurora ^b  

^a University of Central Florida   (United States)

^b Ia i County Council   (Romania)

^c ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; DATA FLOW ANALYSIS;

CORRECTNESS CRITERIA; K-SOUNDNESS; WORKFLOW NETS;

GRAPH THEORY;

EID: 33847239139     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2005.39     Document Type: Conference Paper

References (14)

1. K. Barkoui and L. Petrucci. Structural analysis of workflow nets with shared resources. In Proc. Workshop "Workflow Management: Net-based Concepts, Models, Techniques and Tools WFM'98", pages 82-95, Lisbon, Portugal, June 1998.
2. F. L. Ţiplea and D. C. Marinescu. Home markings and generalized sound workflow nets, 2004. (manuscript available at http://www.infoiasi.ro/ fltiplea).
3. F. L. Ţiplea and D. C. Marinescu. Structural soundness of workflow nets is decidable. Information Processing Letters, 96(1):54-58, 2005.
4. C. A. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workflow systems. In Proc. of the International Conference on Organizational Computing Systems, ACM SIGOIS, pages 10-21, 1995.
5. C. A. Ellis and G. J. Nutt. Modelling and enactment of workflow systems. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, pages 1-16, 1993.
6. J. Esparza. Decidability and complexity of Petri net problems - An introduction. In G. Rozenberg and W. Reisig, editors, Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 374-428, 1998.
7. D. Frutos-Escrig and C. Johnen. Decidability of home space property. Technical Report 503, LRI, 1989.
8. G. D. Michelis, C. Ellis, and G. Memmi, editors. Proc. of the 2nd Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, Zaragoza, Spain, 1994.
9. W. Reisig. Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
10. V. M. P. van der Aalst. Structural characterization of sound workflow nets. Technical Report 23, Eindhoven University of Technology, 1996.
11. V. M. P. van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In Proc. Int. Working Conference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Cambridge, Massachusetts, 1996.
12. K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and separability of workflow nets in the stepwise refinement approach. In Proc. of the 24th International Conference on Application and Theory of Petri Nets, volume 2679 of Lecture Notes in Computer Science, pages 337-356, 2003.
13. K. van Hee, N. Sidorova, and M. Voorhoeve. Generalised soundness of workflow nets is decidable. In Proc. 25th Int. Conf. on Application and Theory of Petri Nets, volume 3099 of Lecture Notes in Computer Science, pages 197-216, Bologna, Italy, 2004.
14. M. Wolfand and U. Reimer, editors. Proc. Int. Conf. Practical Aspects of Knowledge Management, Basel, Switzerland, 1996.