Validation and verification of process models;Validierung und Verifikation von Prozessmodellen

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-21, Issue , 2002, Pages 78-80

  Desel, Jörg ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84994709753     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Jörg Desel. Petrinetze, lineare Algebra und lineare Programmierung. Teubner-Texte zur Informatik Band 26. Teubner, Stuttgart 1998
2. Jörg Desel. Basic Linear Algebraic Techniques for Place/Transition Nets. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491. Springer-Verlag, Heidelberg (1998) 257-308
3. Jörg Desel und Ekkart Kindler. Proving correctness of distributed algorithms - a case study. In: Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98), Fukushima, Japan, März 1998, pp.177-186, IEEE Computer Society Press (1998)
4. Jörg Desel und Wolfgang Reisig. Place/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491. Springer-Verlag, Heidelberg (1998) 122-173
5. Jörg Desel. Validation of Process Models by Construction of Process Nets. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management, Lecture Notes in Computer Science, Vol. 1806. Springer-Verlag, Heidelberg (2000) 110-128
6. Jörg Desel und Thomas Erwin. Modeling, Simulation and Analysis of Business Processes. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management, Lecture Notes in Computer Science, Vol. 1806. Springer-Verlag, Heidelberg (2000) 129-141
7. Jörg Desel und Thomas Erwin. Hybrid Specifications: Looking at Workflows From a run-time Perspective. International Journal of Computer System Science & Engineering Vol. 15 No. 5 (2000) 291-302
8. Jörg Desel und Gabriel Juhás. What is a Petri Net? - Informal Answers for the Informed Reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.): Unifying Petri Nets, Lecture Notes in Computer Science, Vol. 2128. Springer-Verlag, Heidelberg (2001) 1-25
9. Jörg Desel und Ekkart Kindler. Petri Nets and Components - Extending the DAWN Approach. In: Moldt, D. (ed.): Workshop on Modelling of Objects, Components. and Agents, Aarhus, Denmark, DAIMI PB-553 (2001) 21-36
10. Jörg Desel. Model Validation - A Theoretical Issue? In: Esparza, E., Lakos, C. (eds.): Application and Theory of Petri Nets 2002, Lecture Notes in Computer Science, Vol. 2360. Springer-Verlag, Heidelberg (2002) 23-43