Protos 7.0: Simulation made accessible

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 465-474

  Verbeek, Eric ^a   Van Hattem, Maarte ^b   Reijers, Hajo ^a   De Munk, Wendy ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b Pallas Athena BV   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; USER INTERFACES;

PETRINET BASED TOOL EXSPECT; PROCESS MODELS; PROTOS 7.0;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 26444555023     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_27     Document Type: Conference Paper

References (12)

1. W.M.P. van der Aalst, P. de Crom, R. Goverde, K.M. van Hee, W. Hofman, H. Reijers, and R.A. van der Toorn. ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 455-464. Springer, Berlin, Germany, 2000.
2. W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske. Business process management: A survey. In W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors, 1st International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, pages 1-12, Eindhoven, The Netherlands, June 2003. Springer, Berlin, Germany.
3. Altova. XMLSpy online manual: Content model view. http://link.xmlspy.com/ manual2005/xmlspy/spyprofessional/contentmodelview.htm, last visited on November 2, 2004.
4. T. Bray, J. Paoli, C.M. Sperberg-McQueen, and E. Maler, eXtensible Markup Language (XML) 1.0 (second edition). http://www.w3.org/TR/REC-xml, 2000.
5. J. Clark. XSL Transformations (XSLT) version 1.0. http://www.w3.org/TR/ 1999/REC-xslt-19991116, 1999.
6. D.C. Fallside and P. Walmsley. XML Schema part 0, primer second edition. http://www.w3.org/TR/2004/REC-xmlschema-0-20041028, 2004.
7. K.M. van Hee, L.J. Somers, and M. Voorhoeve. Executable specifications for distributed information systems. In E.D. Falkenberg and P. Lindgreen, editors, Proceedings of the IFIP TC 8 / WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, pages 139-156, Namur, Belgium, 1989. Elsevier Science Publishers, Amsterdam.
8. G.K. Janssens, J. Vereist, and B. Weyn. Techniques for modeling workflows and their support of reuse. In W.M.P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 1-15. Springer, Berlin, Germany, 2000.
9. J.J. Moder and C.R. Phlips. Project Management with CPM and PERT Second Edition. Van Nostrand Reinhold, New York, 1970.
10. A.V. Ratzer, L. Wells, H.M. Lassen, M. Laursen, J.F. Qvortrup, M.S. Stissing, M. Westergaard, S. Christensen, and K. Jensen. CPN tools for editing, simulating, and analysing coloured Petri nets. In W.M.P. van der Aalst and E. Best, editors, 24th International Conference on Application and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 450-462, Eindhoven, The Netherlands, June 2003. Springer, Berlin, Germany.
11. A. Sharp and P. McDermott. Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Boston, 2001.
12. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnozing workflow processes using Woflan. The Computer Journal, 44(4):246-279, 2001.