Abstract
In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, this happens when the Petri net model is derived by mapping from an Hybrid IDEF0-IDEF3 model. Therefore, the correctness of the model cannot be assessed with existing techniques, which are devised for WF-nets — a special class of Petri nets with a single input place and a single output place. Moreover, the existing approaches for tackling this problem are rather simplistic and fail to work even for some simple cases. We show that, by an appropriate reduction of a multiple input/multiple output Petri net, existing techniques can be used to check the correctness of the original process. The approach is demonstrated with a suitable example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az´ema, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Comp.Sc.Rep. 98/01. Eindhoven University of Technology (1998)
Bădică, C., Fox, C.: Hybrid IDEF0/IDEF3 Modelling of Business Processes: Syntax, Semantics and Expressiveness (extended abstract). Presented at the Romanian-Austrian Workshop on Computer-Aided Verification of Information Systems: A Practical Industry-Oriented Approach. Timişoara, Romania, 20–22 (2004)
Bădică, C., Bădică, A., Liţoiu, V.: A New Formal IDEF-based Modelling of Business Processes. In: Manolopoulos, Y., Spirakis, P. (eds.) Proc. of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, pp. 535–549 (2003)
Bosilj Vuksic, V., Giaglis, G.M., Hlupic, V.: IDEF Diagrams and Petri Nets for Business process Modeling: Suitability, Efficacy, and Complementary Use. In: Proc. Int. Conf. on Enterprise Inf. Syst., ICEIS 2000, Stafford, UK, pp. 242–247 (2000)
Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K., Geppert, A., Norrie, M. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 157–170. Springer, Heidelberg (2001)
Dehnert, J.: A Methodology for Workflow Modeling. From business process modeling towards sound workflow specification. PhD Thesis D83, Tech. Univ. Berlin (2003)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)
Draft Federal Information Processing Standards Publication 183, Integration Definition for Function Modelling, IDEF0 (1993)
Eshuis, R., Wieringa, R.: Comparing Petri net and activity diagram variants for workflow modelling - a quest for reactive Petri nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 321–351. Springer, Heidelberg (2003)
Hee, K.M., van Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: Aalst, W.M.P., van, d.B.E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143–209 (2003)
Mayer, R., et al.: Information Integration for Concurrent Engineering (IICE): IDEF3 Process Description Capture Method Report (1993)
Uthman, C.V.: Improving the Use of Petri Nets for Business Process Modeling (Draft Status Paper 99/09/22) (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bădică, C., Fox, C. (2004). On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. In: Yakhno, T. (eds) Advances in Information Systems. ADVIS 2004. Lecture Notes in Computer Science, vol 3261. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30198-1_55
Download citation
DOI: https://doi.org/10.1007/978-3-540-30198-1_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23478-4
Online ISBN: 978-3-540-30198-1
eBook Packages: Computer ScienceComputer Science (R0)