Model validation - A theoretical issue?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2360 LNCS, Issue , 2002, Pages 23-43

  Desel, Jorg ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ANALYSIS AND VERIFICATIONS; LEVEL PROCESS; MODEL VALIDATION; MODEL-BASED SYSTEM DEVELOPMENT; PETRI NET MODELS; PETRI NET THEORIES; SIMULATION-BASED VALIDATION;

PETRI NETS;

EID: 84879123296     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_2     Document Type: Conference Paper

References (16)

1. Best, E., C. Fernandez C.: Nonsequential Processes, Springer-Verlag, Berlin Heidelberg New York (1988) 28, 31
2. Desel, J.: 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, Berlin Heidelberg New York (1998) 257-308 27
3. Desel, J.: 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, Berlin Heidelberg New York (2000) 110-128 23, 35
4. Desel, J., Erwin, T.: 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, Berlin Heidelberg New York (2000) 129-141 23
5. Desel, J., Juhás, G.: "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, Berlin Heidelberg New York (2001) 1-25 23
6. Desel, J., Kindler, E..: 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 41
7. Desel, J., Reisig, W.: 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, Berlin Heidelberg New York (1998) 122-173 27, 29, 35
8. Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., Heckel, R.: High-Level Net Processes. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds.): Formal and Natural Computing-Essays Dedicated to Grzegorz Rozenberg, Lecture Notes in Computer Science, Vol. 2300. Springer-Verlag, Berlin Heidelberg New York (2002) 191-219 39, 40
9. Engels, G., Heckel, R., Sauer, S.: UML-A Universal Modeling Language? In: Nielsen, S., Simpson, D. (eds.): Application and Theory of Petri Nets 2000, Lecture Notes in Computer Science, Vol. 1825. Springer-Verlag, Berlin Heidelberg New York (2000) 24-38 24
10. Esparza, J.: Model Checking Using Net Unfoldings. Science of Computer Programming Vol. 23 (1994) 151-195 28, 33, 34
11. Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, Berlin Heidelberg New York (1976) 588-595 27, 35
12. Goltz, U., Reisig, W.: The Non-Sequantial Behaviour of Petri Nets. Information and Computation Vol. 57( 1983) 125-147 29
13. Jensen, K.: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag, Berlin Heidelberg New York (1995) 37
14. Reisig, W.: A Primer in Petri Net Design, Springer-Verlag, Berlin Heidelberg New York (1992) 31, 32
15. Reisig, W.: Elements of Distributed Algorithms, Springer-Verlag, Berlin Heidelberg New York (1995) New York (1995) 27, 33, 37
16. Verbeek, H. M. W., Basten, T., van der Aalst, W. M. P.: Diagnosing Workflow Processes using Woflan, The Computer Journal Vol. 44(4) (2001) 246-279 27