{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:44Z","timestamp":1772836184964,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540712886","type":"print"},{"value":"9783540712893","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_29","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T20:03:44Z","timestamp":1183493024000},"page":"383-397","source":"Crossref","is-referenced-by-count":5,"title":["Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathrin","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Modica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Biermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"AGG Homepage. http:\/\/tfs.cs.tu-berlin.de\/agg ."},{"issue":"1","key":"29_CR2","first-page":"1","volume":"15","author":"P. Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Semantics of Open Petri Nets Based on Deterministic Processes. MSCS\u00a015(1), 1\u201335 (2005)","journal-title":"MSCS"},{"key":"29_CR3","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/0-387-22874-8_7","volume-title":"Mobile Information Systems","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Mobile Information Systems. IFIP International Federation for Information Processing, vol.\u00a0158, pp. 93\u2013106. Springer, Heidelberg (2005)"},{"key":"29_CR4","unstructured":"Biermann, E., Modica, T., Hoffmann, K.: Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in MANETs. Technical Report 2006\/13, TU Berlin, Fak. IV (2006)"},{"issue":"1","key":"29_CR5","first-page":"51","volume":"2","author":"P. Bottoni","year":"2006","unstructured":"Bottoni, P., De Rosa, F., Hoffmann, K., Mecella, M.: Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks. MIS\u00a02(1), 51\u201376 (2006)","journal-title":"MIS"},{"issue":"3","key":"29_CR6","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MPRV.2005.55","volume":"4","author":"F. Rosa De","year":"2005","unstructured":"De Rosa, F., Malizia, A., Mecella, M.: Disconnection Prediction in Mobile Ad hoc Networks for Supporting Cooperative Work. IEEE Pervasive Comp.\u00a04(3), 62\u201370 (2005)","journal-title":"IEEE Pervasive Comp."},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/978-3-540-27755-2_14","volume-title":"Lectures on Concurrency and Petri Nets","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 496\u2013536. Springer, Heidelberg (2004)"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K. Hoffmann","year":"2005","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 268\u2013288. Springer, Heidelberg (2005)"},{"issue":"4","key":"29_CR9","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. Software Tools for Technology Transfer\u00a03(4), 486\u2013497 (2001)","journal-title":"Software Tools for Technology Transfer"},{"issue":"5","key":"29_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s00779-004-0333-4","volume":"9","author":"A. Maurino","year":"2005","unstructured":"Maurino, A., Modafferi, S.: Partitioning Rules for Orchestrating Mobile Information Systems.. Personal and Ubiquitous Computing\u00a09(5), 291\u2013300 (2005)","journal-title":"Personal and Ubiquitous Computing"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-40022-6_9","volume-title":"Petri Net Technology for Communication-Based Systems","author":"J. Padberg","year":"2003","unstructured":"Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 161\u2013196. Springer, Heidelberg (2003)"},{"key":"29_CR12","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations. World Scientific, Singapore (1997)"},{"issue":"1-2","key":"29_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. TCS\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"TCS"},{"key":"29_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 140\u2013156. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:16:17Z","timestamp":1737173777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_29","relation":{},"subject":[]}}