{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:11Z","timestamp":1747579571210,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:31Z","timestamp":1330268791000},"page":"335-352","source":"Crossref","is-referenced-by-count":8,"title":["Software architecture of the EPOCA integrated environment"],"prefix":"10.1007","author":[{"given":"Susanna","family":"Donatelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.","DOI":"10.1145\/190.191"},{"key":"19_CR2","volume-title":"Performance Models of Multiprocessor Systems","author":"M. A. Marsan","year":"1986","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, USA, 1986."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(1), January 1992.","DOI":"10.1109\/71.127262"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15(3), july 1992. Special Issue on Petri Net Modelling of Parallel Computers.","DOI":"10.1016\/0743-7315(92)90002-5"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs using GSPNs. Accepted for publication on Performance Evaluation, 1993.","DOI":"10.1016\/0166-5316(94)90039-6"},{"key":"19_CR6","unstructured":"Giovanni Chiola. GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"19_CR8","unstructured":"F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991."},{"key":"19_CR9","unstructured":"A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with PRM-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"U. Goltz and W. Reisig. CSP programs as nets with individual tokens. In Proc. 5th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1984.","DOI":"10.1007\/3-540-15204-0_11"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in the DISC programming environment. Future Generation Computer Systems, 5(4), 1990.","DOI":"10.1016\/0167-739X(90)90036-D"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"G. Iannello, A. Mazzeo, and G. Ventre. Definition of the DISC Concurrent Language. SIGPLAN Notices, 24(6), June 1989.","DOI":"10.1145\/71052.71061"},{"key":"19_CR13","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(88)90027-1","volume":"8","author":"S. M. Shatz","year":"1987","unstructured":"S.M. Shatz and W.K. Cheng. A Petri net framework for automated static analysis of Ada tasking. The Journal of Systems and Software, 8:343\u2013359, October 1987.","journal-title":"The Journal of Systems and Software"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of ACM, 26, May 1983.","DOI":"10.1145\/69586.69587"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:17:55Z","timestamp":1742595475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}