{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:19Z","timestamp":1725566179780},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159275"},{"type":"electronic","value":"9783642159282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15928-2_28","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T10:32:34Z","timestamp":1284978754000},"page":"388-390","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic Modelling and Simulation of Dynamic Resource Allocation"],"prefix":"10.1007","author":[{"given":"Adwoa","family":"Donyina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Agrawal, A., et al.: Web Service Human Task (WS-HumanTask), version 1.0. Tech. rep., Adobe and BEA and Oracle and Active Endpoints and IBM and SAP (June 2007)"},{"key":"28_CR2","unstructured":"BOC-Group: ADONIS: Community Edition (2010), http:\/\/www.adonis-community.com\/"},{"key":"28_CR3","first-page":"229","volume-title":"Sci. Comput. Program","author":"R. Depke","year":"2002","unstructured":"Depke, R., Heckel, R., K\u00fcster, J.M.: Formal agent-oriented modeling with UML and graph transformation. In: Sci. Comput. Program, vol.\u00a044, pp. 229\u2013252. Elsevier North-Holland, Inc., Amsterdam (2002)"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/SEEFM.2009.17","volume-title":"Fourth South-East European Workshop on Formal Methods (SEEFM 2009)","author":"A. Donyina","year":"2009","unstructured":"Donyina, A., Heckel, R.: Formal visual modeling of human agents in service oriented systems. In: Fourth South-East European Workshop on Formal Methods (SEEFM 2009), pp. 25\u201332. IEEE Computer Society, Los Alamitos (2009)"},{"key":"28_CR5","unstructured":"Group, L.P.W.: Little-JIL 1.5 Language Report. Tech. rep., Laboratory for Advanced Software Engineering Research, University of Massachusetts, Amherst (1997-2006)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars - a constructive approach. In: Proc. of SEGRAGRA 1995 \u201cGraph Rewriting and Computation\u201d. ENTCS, p. 2 (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"28_CR7","volume-title":"Workflow-based Process Controlling: Foundation, Design and Application of Workflow-driven Process Information Systems","author":"M.z. Muehlen","year":"2002","unstructured":"Muehlen, M.z.: Workflow-based Process Controlling: Foundation, Design and Application of Workflow-driven Process Information Systems. Logos Verlag, Berlin (2002)"},{"key":"28_CR8","unstructured":"omg.org: Business process modeling notation (BPMN), version 1.2. Tech. rep., Object Managment Group(OMG) (January 2009)"},{"key":"28_CR9","first-page":"237","volume-title":"Adv. in Computers","author":"R.S. Sandhu","year":"1998","unstructured":"Sandhu, R.S.: Role-based access control. In: Adv. in Computers, vol.\u00a046, pp. 237\u2013286. Academic Press, London (1998)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-12029-9_11","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Torrini","year":"2010","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I.: Stochastic simulation of graph transformation systems. In: Rosenblum, D.S., Taentzer, G. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a06013, pp. 154\u2013157. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15928-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:42:46Z","timestamp":1606167766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}