Abstract
As the number of business process models increases, providing business analysts and IT experts with a query langue for querying business process models is of great practical value. This paper uses Petri net as business process modeling language and develops Petri Net Query Language (PNQL), a graphical query language for Petri nets. The syntax and semantics of PNQL are formally studied. PNQL allows users to get not only the perfectly matched Petri nets but also the Petri nets with high similarity. The complexity of PNQL is studied.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bowers, S., Ludascher, B.: A calculus for propagating semantic annotations through scientific workflow queries. In: Proceedings of Query Languages and Query Processing Workshop, pp. 712–723 (2006)
Braga, D., Campi, A., Ceri, S.: XQBE (xquery by example): A visual interface to the standard xml query language. ACM transactions on database systems 30(2), 398–443 (2005)
Cao, J., Zhao, H.: A semantic model and query mechanism for service workflow. In: Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, pp. 1850–1855 (2008)
Comai, S., Damiani, E., Fraternali, P.: Computing graphical queries over xml data. ACM Transactions on Information Systems 19(4), 371–430 (2001)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. The MIT Press, Cambridge (2001)
Dussart, A., Aubert, B.A., Patry, M.: An evaluation of inter-organizational workflow modeling formalisms. Journal of Database Management 15(2), 74–104 (2004)
Ellis, C.A., Nutt, G.J.: Workflow: The process spectrum. In: NSF Workshop on Workflow and Process Automation in Information Systems, pp. 140–145 (1996)
Goud, R., Van Hee, K.M., Post, R.D.J., Van Der Werf, J.M.E.M.: Petriweb: A repository for Petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 411–420. Springer, Heidelberg (2006)
Juan, Y.C.: A string comparison approach to process logic differences between business process models. In: Proceedings of the 9th Joint Conference on Information Sciences (2006)
Juan, Y.C., Ou-Yang, C.: A process logic comparison approach to support business process benchmarking. International Journal of Advanced Manufacturing Technology 26(1-2), 191–210 (2005)
Keramopoulos, E., Pouyioutas, P., Ptohos, T.: The GOQL graphical query language. International Journal of Computers and Applications 24, 122–128 (2002)
Lin, D.: An Information-Theoretic Definition of Similarity. In: Proc. Int’l Conf. Machine Learning, ICML 1998 (1998)
Markovic, I., Pereira, A.C.: Towards a formal framework for reuse in business process modeling. In: Proceedings of the 2nd International Workshop on Advances in Semantics for Web services, pp. 484–495 (2008)
Oberweis, A., Sänger, V.: Graphical query language for simulation runs. Journal of Microcomputer Applications 17 (1994)
Oberweis, A., Stucky, W., Weitz, W., Zimmermann, G.: INCOME/WF - A Petri Net-Based Approach to Workflow Management, Institute fur Wirtschaftsinformatik, Germany (1996)
Perez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 30–43. Springer, Heidelberg (2006)
Rosen, K.H.: Discrete Mathematics and its Applications. McGraw-Hill, New York (2003)
Tversky, A.: Features of Similarity. Psychological Rev. 84, 327–352 (1977)
Wang, C.M.: BASS: BPR Analogy Support System, Master Thesis: National Taiwan University of Science and Technology (1999)
Wang, Y., Cao, J., Li, M.: Goal-driven semantic description and query for grid workflow. In: Proceedings of 3rd International Conference on Semantics, Knowledge, and Grid, pp. 598–599 (2007)
Vaucher, J.G.: Building Optimal Binary Search Trees from Sorted Values in O(N) Time. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol. 2635, pp. 376–388. Springer, Heidelberg (2004)
van der Aalst, W.M.P.: Three good reasons for using a Petri net-based workflow management system. In: Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), pp. 179–201 (1996)
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol. 1806. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xiao, L., Zheng, L., Xiao, J., Huang, Y. (2009). A Graphical Query Language for Querying Petri Nets. In: Yang, J., Ginige, A., Mayr, H.C., Kutsche, RD. (eds) Information Systems: Modeling, Development, and Integration. UNISCON 2009. Lecture Notes in Business Information Processing, vol 20. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01112-2_52
Download citation
DOI: https://doi.org/10.1007/978-3-642-01112-2_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01111-5
Online ISBN: 978-3-642-01112-2
eBook Packages: Computer ScienceComputer Science (R0)