Abstract
Many consider simulation to be a highly specialist activity: it is difficult to undertake and is even more difficult to understand its outcomes. The new version of the business process modeling tool Protos attempts to more closely integrate modeling and simulation facilities into one tool. The assumed benefit is that business professionals may more easily undertake simulation experiments when they are enabled with the same tool to extend their existing process models to carry out simulation experiments. This paper explains how the existing engine of the Petri-net based tool ExSpect is integrated into Protos 7.0. It also shows the extended user interface of Protos and the simulation reports it generates.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.M.P., de Crom, P., Goverde, R., van Hee, K.M., Hofman, W., Reijers, H., van der Toorn, R.A.: ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 455–464. Springer, Heidelberg (2000)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)
Altova. XMLSpy online manual: Content model view (last visited on November 2, 2004), http://link.xmlspy.com/manual2005/xmlspy/spyprofessional/contentmodelview.htm
Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: eXtensible Markup Language (XML) 1.0, 2nd edn. (2000), http://www.w3.org/TR/REC-xml
Clark, J.: XSL Transformations (XSLT) version 1.0 (1999), http://www.w3.org/TR/1999/REC-xslt-19991116
Fallside, D.C., Walmsley, P.: XML Schema part 0, primer, 2nd edn. (2004), http://www.w3.org/TR/2004/REC-xmlschema-0-20041028
van Hee, K.M., Somers, L.J., Voorhoeve, M.: Executable specifications for distributed information systems. In: Falkenberg, E.D., Lindgreen, P. (eds.) Proceedings of the IFIP TC 8 / WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, Namur, Belgium, pp. 139–156. Elsevier Science Publishers, Amsterdam (1989)
Janssens, G.K., Verelst, J., Weyn, B.: Techniques for modeling workflows and their support of reuse. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 1–15. Springer, Heidelberg (2000)
Moder, J.J., Phlips, C.R.: Project Management with CPM and PERT, 2nd edn., Van Nostrand Reinhold, New York (1970)
Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)
Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Boston (2001)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Verbeek, E., van Hattem, M., Reijers, H., de Munk, W. (2005). Protos 7.0: Simulation Made Accessible. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. ICATPN 2005. Lecture Notes in Computer Science, vol 3536. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494744_27
Download citation
DOI: https://doi.org/10.1007/11494744_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26301-2
Online ISBN: 978-3-540-31559-9
eBook Packages: Computer ScienceComputer Science (R0)