{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:05:21Z","timestamp":1746331521231,"version":"3.40.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077338"},{"type":"electronic","value":"9783319077345"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_13","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T13:57:34Z","timestamp":1404223054000},"page":"233-252","source":"Crossref","is-referenced-by-count":3,"title":["On Weighted Petri Net Transducers"],"prefix":"10.1007","author":[{"given":"Robert","family":"Lorenz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Huber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00fcnther","family":"Wirsching","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","year":"1997","unstructured":"Az\u00e9ma, P., Balbo, G. (eds.): ICATPN 1997. LNCS, vol.\u00a01248. Springer, Heidelberg (1997)"},{"key":"13_CR2","first-page":"21","volume-title":"Lecture Notes in Computer Science","author":"Eike Best","year":"1992","unstructured":"Best, E., Devillers, R.R., Hall, J.G.: The box calculus: a new causal algebra with multi-label communication. In: Rozenberg [19], pp. 21\u201369"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume-title":"TAPSOFT \u201987 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987.","author":"G. Boudol","year":"1987","unstructured":"Boudol, G., Castellani, I.: On the semantics of concurrency: Partial orders and transition systems. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol.\u00a0249, pp. 123\u2013137. Springer, Heidelberg (1987)"},{"issue":"175","key":"13_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2007.03.009","volume":"175","author":"T. Chothia","year":"2007","unstructured":"Chothia, T., Klejin, J.: Q-automata: Modelling the resource usage of concurrent components. Electronic Notes in Theoretical Computer Science\u00a0175(175), 153\u2013167 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR5","first-page":"3","volume-title":"Monographs in Theoretical Computer Science","author":"Manfred Droste","year":"2009","unstructured":"Droste, M., Kuich, W.: Semirings and Formal Power Series. In: Droste, et al. (eds.) [6], ch.1, pp. 3\u201328 (2009)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. Monographs in Theoretical Computer Science. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Cognitive Behavioural Systems","year":"2012","unstructured":"Esposito, A., Esposito, A.M., Vinciarelli, A., Hoffmann, R., M\u00fcller, V.C. (eds.): COST 2102. LNCS, vol.\u00a07403. Springer, Heidelberg (2012)"},{"key":"13_CR8","first-page":"405","volume-title":"Monographs in Theoretical Computer Science","author":"Ina Fichtner","year":"2009","unstructured":"Fichtner, I., Kuske, D., Meinecke, I.: Traces, Series-Parallel Posets, and Pictures: A Weighted Study. In: Droste, et al. (eds.) [6], ch. 10, pp. 405\u2013452 (2009)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"F\u00fcll\u00f6p, Z., Vogler, H.: Weighted Tree Automata and Tree Transducers. In: Droste, et al. (eds.) [6], ch. 9, pp. 313\u2013404 (2009)","DOI":"10.1007\/978-3-642-01492-5_9"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theoretical Computer Science\u00a061, 199\u2013224 (1988)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"13_CR11","doi-asserted-by":"crossref","first-page":"428","DOI":"10.3233\/FI-1981-4210","volume":"4","author":"J. Grabowski","year":"1981","unstructured":"Grabowski, J.: On Partial Languages. Fundamenta Informaticae\u00a04(2), 428\u2013498 (1981)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR12","unstructured":"Hack, M.: Petri net languages. Technical Report Memo 124, computation structures group, massachusetts institute of technology (1975)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T. Hoare","year":"2011","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. The Journal of Logic and Algebraic Programming\u00a080, 266\u2013296 (2011)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.tcs.2004.07.005","volume":"328","author":"D. Kuske","year":"2004","unstructured":"Kuske, D., Meinecke, I.: Branching automata with costs - a way of reflecting parallelism in costs. Theoretical Computer Science\u00a0328, 53\u201375 (2004)","journal-title":"Theoretical Computer Science"},{"key":"13_CR15","unstructured":"Lorenz, R., Huber, M.: Petri net transducers in semantic dialogue modelling. In: Proceedings of \u201cElektronische Sprachsignalverarbeitung (ESSV)\u201d. Studientexte zur Sprachkommunikation, vol.\u00a064, pp. 286\u2013297 (2012)"},{"key":"13_CR16","unstructured":"Lorenz, R., Huber, M.: Realizing the Translation of Utterances into Meanings by Petri Net Transducers. In: Proceedings of \u201cElektronische Sprachsignalverarbeitung (ESSV)\u201d. Studientexte zur Sprachkommunikation, vol.\u00a065 (2013)"},{"key":"13_CR17","first-page":"213","volume-title":"Monographs in Theoretical Computer Science","author":"Mehryar Mohri","year":"2009","unstructured":"Mohri, M.: Weighted Automata Algorithms. In: Droste, et al. (eds.) [6], ch. 6, pp. 213\u2013254 (2009)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modelling Concurrency with Partial Orders. Int. Journal of Parallel Programming\u00a015, 33\u201371 (1986)","journal-title":"Int. Journal of Parallel Programming"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Advances in Petri Nets 1992, The DEMON Project. Springer (1992)","DOI":"10.1007\/3-540-55610-9"},{"key":"13_CR20","unstructured":"Stra\u00dfner, D.: Prototypische Implementierung von Petrinetz-Transduktoren mit SNAKES. Bachelor thesis, Augsburg University (2013)"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(88)80021-X","volume":"28","author":"W.R. Biljon van","year":"1988","unstructured":"van Biljon, W.R.: Extending Petri nets for specifying man-machine dialogues. Int. J. Man-Mach. Stud.\u00a028(4), 437\u2013455 (1988)","journal-title":"Int. J. Man-Mach. Stud."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. M. P. Aalst","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9a, Balbo (eds.) [1], pp. 407\u2013426"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01276499","volume":"9","author":"F.-Y. Wang","year":"1994","unstructured":"Wang, F.-Y., Mittmann, M., Saridis, G.N.: Coordination specification for CIRSSE robotic platform system using Petri net transducers. Journal of Intelligent and Robotic Systems\u00a09, 209\u2013233 (1994)","journal-title":"Journal of Intelligent and Robotic Systems"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Wang, F.-Y., Saridis, G.N.: A model for coordination of intelligent machines using Petri nets. In: Proceedings of the IEEE International Symposium on Intelligent Control, pp. 28\u201333. IEEE Comput. Soc. Press (1989)","DOI":"10.1109\/ISIC.1988.65400"},{"key":"13_CR25","unstructured":"Wirsching, G., Huber, M., K\u00f6lbl, C.: Zur Logik von Bestenlisten in der Dialogmodellierung. In: Proceedings of \u201cElektronische Sprachsignalverarbeitung (ESSV)\u201d. Studientexte zur Sprachkommunikation, vol.\u00a061, pp. 309\u2013316 (2011)"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-34584-5_8","volume-title":"Cognitive Behavioural Systems","author":"G\u00fcnther Wirsching","year":"2012","unstructured":"Wirsching, G., Huber, M., K\u00f6lbl, C., Lorenz, R., R\u00f6mer, R.: Semantic dialogue modeling. In: Esposito, et al. (eds.) [7], pp. 104\u2013113"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Wolff, M.: Akustische Mustererkennung. Habilitation (2009)","DOI":"10.3139\/120.110079"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:13:38Z","timestamp":1746288818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}