Abstract
Production printing workflow is a high-volume and high-speed printing process normally consisting of a set of complex and inter-related tasks namely pre-press, press and post-press procedures. Today many production printing vendors are increasingly offering heterogeneous devices and related software products that autonomously interoperate as a production printing workflow in a digital distributed environment. It is highly desirable in such environment that a detailed workflow assessment is performed either prior to the deployment or during real-time operations. A formal workflow model and assessment capability would ultimately benefit the customers who directly manage these production printing workflows to make better-informed decisions, understand the efficiency of to-be-purchased or already-deployed workflows, foresee the performance implications under a variety of business conditions. Therefore in this paper, we have developed formal workflow models (in both abstract and execution) based on the colored Petri nets [4] that incorporate production printing semantics. Based on these formal representations, we show how a production printing workflow can be assessed both analytically and quantitatively by leveraging existing Petri net tools.
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
Jensen, K., Christensen, K., Huber, S.: Design/CPN Reference Manual, Department of Computer Science. University of Aarhus, Denmark (1995), http://www.daimi.au.dk/designCPN/
Jiménez Macías, E., de la Pérez Parte, M.: Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets. SIMULATION 80(3), 143–152 (2004)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Jensen, K.: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 230–272. Springer, Heidelberg (1994)
Kummer, O., Wienberg, F.: Renew - the Reference Net Workshop. Petri Net Newsletter (2004), see also, http://www.renew.de/
Boleslaw, M.M., Debora, B.: Workflow modeling and diagnosis with Petri nets - a case study of a manufacturing. In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC 2002), October 6-9, vol. 5 (2002)
Petri Nets Tools Database Quick Overview, Petri Net World (2003), http://www.daimi.au.dk/PetriNets/tools/quick.html
Petri, C.A.: kommunikation mit Automaten. PhD thesis. Bonn: University of Bonn (1962) (In German)
Christensen, S., Lars, J.B.J., Kristensen, M.: Design/CPN - A Computer Tool for Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 209–223. Springer, Heidelberg (1997)
W.M.P van der Aalst, and A.H.M. ter Hofstede, 2000. Verification of workflow task structures: A Petri-net-based approach. Information System 25 1, pp. 43-69.
van der Aalst, W.M.P.: Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis - Modelling - Simulation 35(3), 345–357 (1999)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. Computing Science Report 99/02. Eindhoven University of Technology, Eindhoven (1999)
van der Aalst, W.M.P.: Making Work Flow: On the Application of Petri nets to Business Process Management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1–22. Springer, Heidelberg (2002)
Wil, M.P., van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri- Net-Based Techniques. Business Process Management, 161–183 (2000)
Job Definition Format Specification, http://www.cip4.org
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
Gottumukkala, R.N., Sun, D.T. (2005). Modeling and Assessment of Production Printing Workflows Using Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_21
Download citation
DOI: https://doi.org/10.1007/11538394_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)