{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:30Z","timestamp":1725664650817},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616269"},{"type":"electronic","value":"9783540706335"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61626-8_98","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:07:13Z","timestamp":1330294033000},"page":"752-761","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Petri net modelling of PARSE designs"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Russo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Savy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Innes","family":"Jelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Collingwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"98_CR1","doi-asserted-by":"crossref","unstructured":"I. Gorton, P. Gray and I. Jelly: Object-Based Modelling of Parallel Programs. IEEE Parallel and Distributed Technology, Vol 3, No. 2, 1995.","DOI":"10.1109\/88.393237"},{"key":"98_CR2","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, Vol. 77, No. 4, April 1989","DOI":"10.1109\/5.24143"},{"key":"98_CR3","series-title":"LNCS","volume-title":"Proc. of CONPAR94","author":"I. Gorton","year":"1994","unstructured":"Gorton, I., Jelly, I., Soon Chan, T.: Engineering High Quality Parallel Software Using PARSE. Proc. of CONPAR94, Linz, Austria, (1994) LNCS, Springer Verlag"},{"key":"98_CR4","unstructured":"Chiola, G.: GreatSPN 1.5 software architecture. Proc. 5th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, 1991"},{"key":"98_CR5","unstructured":"Bradney, W., Gray, J. (supervisor): Parse code translator. M.Sc. Project, Dept of Computer Science, University of Wollongong, Nov. 1994"},{"issue":"1","key":"98_CR6","first-page":"15","volume":"3","author":"S. Donatelli","year":"1996","unstructured":"Donatelli, S., Mazzocca, N., Russo, S.: A CASE System for Petri Net Modelling of CSP-like Programs. Transputer Communications, Vol.3(1), (1996) 15\u201322","journal-title":"Transputer Communications"},{"key":"98_CR7","volume-title":"Software Engineering for Parallel and Distributed Systems","author":"P.A. Nixon","year":"1996","unstructured":"Nixon, P.A., Shi, L.: Concurrent semantics for structured design methods, in: Jelly, Gorton, Croll (eds.), Software Engineering for Parallel and Distributed Systems, Berlin, (1996) Chapman&Hall"},{"key":"98_CR8","unstructured":"Jelly, I., Collingwood, P., Russo, S., Savy, C.: From textual representation of PARSE design to Petri Nets. Joint Technical Report No 7\/95, April 1995, Computing Research Centre, Sheffield Hallam University and University of Naples"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'96 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61626-8_98","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:29:22Z","timestamp":1587342562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61626-8_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616269","9783540706335"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-61626-8_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}