{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:51Z","timestamp":1725470751479},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540384441"},{"type":"electronic","value":"9783540384458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11837862_12","type":"book-chapter","created":{"date-parts":[[2006,9,19]],"date-time":"2006-09-19T10:22:52Z","timestamp":1158661372000},"page":"105-116","source":"Crossref","is-referenced-by-count":16,"title":["Process Mining and Petri Net Synthesis"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Rubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W., van Dongena, B.F., Herbst, J., Marustera, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data & Knowledge Engineering\u00a047, 237\u2013267 (2003)","journal-title":"Data & Knowledge Engineering"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11608035_25","volume-title":"Unifying the Software Process Spectrum","author":"E. Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Incremental Workflow mining based on Document Versioning Information. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol.\u00a03840, pp. 287\u2013301. Springer, Heidelberg (2006)"},{"key":"12_CR3","volume-title":"Managing the software process","author":"W.S. Humphrey","year":"1989","unstructured":"Humphrey, W.S.: Managing the software process. Addison-Wesley Longman Publishing Co., Inc., Boston (1989)"},{"unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Activity mining for discovering software process models. In: Biel, B., Book, M., Gruhn, V. (eds.) Proc. of the Software Engineering 2006 Conference, Leipzig, Germany. LNI, Gesellschaft f\u00fcr Informatik, vol.\u00a0P-79, pp. 175\u2013180 (2006)","key":"12_CR4"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. Acta Informatica\u00a027, 315\u2013342 (1989)","journal-title":"Acta Informatica"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-59293-8_207","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 364\u2013378. Springer, Heidelberg (1995)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf.\u00a033, 297\u2013315 (1996)","journal-title":"Acta Inf."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of regions. In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, pp. 529\u2013586. Springer, London (1998)"},{"key":"12_CR9","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems\u00a0E80-D, 315\u2013325 (1997)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"12_CR10","first-page":"469","volume-title":"Proceedings of the 6th International Conference on Extending Database Technology","author":"R. Agrawal","year":"1998","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Proceedings of the 6th International Conference on Extending Database Technology, pp. 469\u2013483. Springer, Heidelberg (1998)"},{"unstructured":"Herbst, J., Karagiannis, D.: An Inductive approach to the Acquisition and Adaptation of Workflow Models (1999), \n                    \n                      citeseer.ist.psu.edu\/herbst99inductive.html","key":"12_CR11"},{"unstructured":"Weijters, A., van der Aalst, W.: Workflow Mining: Discovering Workflow Models from Event-Based Data. In: Dousson, C., H\u00f6ppner, F., Quiniou, R. (eds.) Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pp. 78\u201384 (2002)","key":"12_CR12"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering\u00a016, 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering Models of Software Processes from Event-Based Data. ACM Trans. Softw. Eng. Methodol.\u00a07, 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"unstructured":"MSR 2005 International Workshop on Mining Software Repositories. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering. ACM Press, New York (2005)","key":"12_CR15"},{"unstructured":"Herbst, J.: Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen. PhD thesis, Universit\u00e4t Ulm (2001)","key":"12_CR16"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/ICSP.1991.664348","volume-title":"Proceedings of the First International Conference on the Software Process","author":"M.I. Kellner","year":"1991","unstructured":"Kellner, M.I., Felier, P.H., Finkelstein, A., Katayama, T., Osterweil, L., Penedo, M., Rombach, H.: ISPW-6 Software Process Example. In: Proceedings of the First International Conference on the Software Process, Redondo Beach, CA, USA, pp. 176\u2013186. IEEE Computer Society Press, Los Alamitos (1991)"},{"unstructured":"Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: Mesnard, F., Serebenik, A. (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, Heverlee, Belgium, Katholieke Universiteit Leuven, pp. 1\u201316, CW 371 (2003)","key":"12_CR18"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers\u00a047, 859\u2013882 (1998)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11837862_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:49Z","timestamp":1619507689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11837862_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540384441","9783540384458"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11837862_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}