{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:13Z","timestamp":1725456133853},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540559280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017505","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:08:47Z","timestamp":1132621727000},"page":"67-83","source":"Crossref","is-referenced-by-count":12,"title":["Process enactment in SPADE"],"prefix":"10.1007","author":[{"given":"S.","family":"Bandinelli","sequence":"first","affiliation":[]},{"given":"A.","family":"Fuggetta","sequence":"additional","affiliation":[]},{"given":"C.","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"S.","family":"Grigolli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"V. Ambriola, P. Ciancarini, C. Montangero, \u201cSoftware Process Enactment in Oikos\u201d, Proceedings of the 4th. ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, December 1990.","DOI":"10.1145\/99277.99294"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"V. Ambriola, M.L. Jaccheri, \u201cDefinition and Enactment of Oikos Software Process Entities\u201d First European Workshop on Software Process Modeling Milan, Italy, May 1991.","DOI":"10.1145\/99277.99294"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"S. Bandinelli, A. Fuggetta, C. Ghezzi, \u201cSoftware Processes as Real Time Systems: A case study using High-Level Petri nets\u201d In Proc. of International Phoenix conference on computers and Communications Arizona, April 1992.","DOI":"10.1109\/PCCC.1992.200598"},{"key":"10_CR4","unstructured":"N. Barghouti, \u201cConcurrency Control in Rule-Based Software Development Environments\u201d, Ph. D. Thesis Columbia University, technical report CUCS-001-92"},{"key":"10_CR5","unstructured":"J. Colom, M. Silva, G.L. Villarroel, \u201cOn software implementation of Petri nets and color Petri nets using high-level concurrent languages\u201d, 7th European Workshop on Applications and Theory of Petri Nets, Oxford, July 1986."},{"key":"10_CR6","unstructured":"W. Deiters, V. Gruhn, \u201cManaging Software Processes in the environment MELMAC\u201d, In Proc. of the 4th. ACM SIGSOFT Symposium on Software Development Environments, Irvine, CA, USA, December 1990."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezz\u00e8, \u201cA Unified High-Level Petri Net Formalism for Time-Critical Systems\u201d, IEEE Trans. Software Eng., February 1991.","DOI":"10.1109\/32.67597"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"C. Fernstr\u00f6m \u201cThe Eureka Software Factory: Concepts and Accomplishments\u201d, Proc. of the 3rd. European Software Engineering Conference, ESEC '91. Milan, Italy, October 1991.","DOI":"10.1007\/3540547428_41"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"V, Gruhn, \u201cValidation and Verification of Software Process Models\u201d Ph. D. Thesis, Dortmund University 1991.","DOI":"10.1007\/3-540-54194-2_40"},{"key":"10_CR10","unstructured":"L. Hubert, \u201cOPIUM, An environment for Software Process Modeling integrated with Project Management and Product Management facilities\u201d First European Workshop on Software Process Modeling Milan, May 1991."},{"key":"10_CR11","unstructured":"M. Kelner et al. \u201cISPW-6 Software Process Example\u201d Proc. of the 6th. International Software Process Workshop, Hakodate Japan, October 1990."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"P.M Merlin, D.J. Farber, \u201cRecoverability of communication protocols-Implications of a theoretical study\u201d, IEEE Transactions Commun., September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"10_CR13","unstructured":"B. Peuschel, W. Schaefer, \u201cEfficient Execution of Rule Based Persistent Software Process Models in MERLIN\u201d, International Conference on Software Engineering, Merlbourne, Australia, 1992."},{"key":"10_CR14","unstructured":"B. B\u00fctler, R. Esser, R. Mattmann, \u201cA Distributed Simulator for High Order Petri Nets\u201d, 10th International Conference on Application and Theory of Petri Nets, Bonn, June 1989."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"D. Taubner, \u201cOn the implementation of Petri Nets\u201d, 8th European Workshop on Applications and Theory of Petri Nets, Zaragoza, 1987.","DOI":"10.1007\/3-540-50580-6_40"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0017505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:34:16Z","timestamp":1683282856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540559280"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0017505","relation":{},"subject":[]}}