{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T09:52:46Z","timestamp":1763200366995},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642008986"},{"type":"electronic","value":"9783642008993"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_6","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T10:24:54Z","timestamp":1237976694000},"page":"98-114","source":"Crossref","is-referenced-by-count":14,"title":["A Formal Model for Organisational Structures behind Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler-Bu\u00dfmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Wester-Ebbinghaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Smith, R.G.: The contract net: A formalism for the control of distributed problem solving. In: 5th Conference on Artificial Intelligence (IJCAI 1977) (1977)"},{"key":"6_CR2","volume-title":"International Conference on System Sciences","author":"M. M\u00fchlen zur","year":"1999","unstructured":"zur M\u00fchlen, M.: Evaluation of workflow management systems using meta models. In: International Conference on System Sciences, vol.\u00a05. IEEE CS, Los Alamitos (1999)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.V.D.: Verification of workflow nets. In: [20], pp. 407\u2013426","DOI":"10.1007\/3-540-63139-9_48"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/69.43404","volume":"1","author":"E.H. Durfee","year":"1989","unstructured":"Durfee, E.H., Lesser, V.R., Corkill, D.D.: Trends in cooperative distributed problem solving. Transactions on Knowledge and Data Engineering\u00a01, 63\u201383 (1989)","journal-title":"Transactions on Knowledge and Data Engineering"},{"key":"6_CR5","first-page":"425","volume-title":"Multiagent systems","author":"C.A. Ellis","year":"1999","unstructured":"Ellis, C.A., Wainer, J.: Groupware and computer supported cooperative work. In: Wei\u00df, G. (ed.) Multiagent systems, pp. 425\u2013458. MIT Press, Cambridge (1999)"},{"key":"6_CR6","volume-title":"Co-ordination in Artificial Agent Societies","author":"S. Ossowski","year":"1999","unstructured":"Ossowski, S.: Co-ordination in Artificial Agent Societies. Springer, Heidelberg (1999)"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B. Horling","year":"2005","unstructured":"Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review\u00a019(4), 281\u2013316 (2005)","journal-title":"The Knowledge Engineering Review"},{"key":"6_CR8","unstructured":"Prietula, M.J., Carley, K.M., Gasser, L. (eds.): Simulating Organisations. Computational Models of Institutions and Groups. AAAI\/MIT-Press (1998)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-75524-1_5","volume-title":"Engineering Societies in the Agents World VII","author":"O. Boissier","year":"2007","unstructured":"Boissier, O., H\u00fcbner, J.F., Sichman, J.S.: Organization oriented programming: From closed to open organizations. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS, vol.\u00a04457, pp. 86\u2013105. Springer, Heidelberg (2007)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-74987-5_3","volume-title":"Journal on Data Semantics IX","author":"S. Rinderle-Ma","year":"2007","unstructured":"Rinderle-Ma, S., Reichert, M.: A formal framework for adaptive access control models. In: Spaccapietra, S., Atzeni, P., Fages, F., Hacid, M.-S., Kifer, M., Mylopoulos, J., Pernici, B., Shvaiko, P., Trujillo, J., Zaihrayeu, I. (eds.) Journal on Data Semantics IX. LNCS, vol.\u00a04601, pp. 82\u2013112. Springer, Heidelberg (2007)"},{"key":"6_CR11","unstructured":"Klarmann, J.: A comprehensive support for changes in organizational models of workflow management systems. In: 4th International Conference on Information Systems Modelling (2001)"},{"issue":"3","key":"6_CR12","first-page":"335","volume":"34","author":"W.V.D. Aalst van der","year":"1999","unstructured":"van der Aalst, W.V.D.: Interorganizational workflows Systems Analysis - Modelling. Simulation\u00a034(3), 335\u2013367 (1999)","journal-title":"Simulation"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: [20]","DOI":"10.1007\/3-540-63139-9_39"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control\u00a057, 125\u2013147 (1983)","journal-title":"Information and Control"},{"issue":"3-4","key":"6_CR16","first-page":"415","volume":"79","author":"M. K\u00f6hler","year":"2007","unstructured":"K\u00f6hler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae\u00a079(3-4), 415\u2013430 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modeling the behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"issue":"5","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1109\/21.120067","volume":"21","author":"E.H. Durfee","year":"1991","unstructured":"Durfee, E.H., Lesser, V.R.: Partial global planning. IEEE Transactions on Systems, Man, and Cybernetics\u00a021(5), 1167\u20131183 (1991)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"6_CR19","volume-title":"Fundamentals of algebraic graph transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)"},{"key":"6_CR20","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)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T02:24:02Z","timestamp":1558232642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}