{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:00Z","timestamp":1725663300688},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[[1988]]},"DOI":"10.1007\/3-540-50580-6_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:27:45Z","timestamp":1330201665000},"page":"283-306","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Experiences in the use of galileo to design telecommunication systems"],"prefix":"10.1007","author":[{"given":"Ignacio","family":"Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Carmen","family":"Pelaez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","unstructured":"Net Theory and Applications. Proceeding of the Advanced Course on General Net Theory of Processes and System. Hamburg 1979. Lecture Notes in Computer Science. Volume 84, Springer Verlag Berlin 1980. Edited by W. Brauer."},{"key":"14_CR2","unstructured":"Peterson, J.L: Petri Net Theory and the modelling of Systems. Prentice-Hall Series in computacional mathematics. 1980"},{"key":"14_CR3","unstructured":"Silva, M.: Las Redes de Petri en la Automatica y la Informatica. Editorial AC. Madrid 1985."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets An Introduction. Monograph on Theoretical Computer Science Vol 4 Springer-Verlag 1985","DOI":"10.1007\/978-3-642-69968-9"},{"key":"14_CR5","unstructured":"Lopez, I.: Introduction to Petri Nets. Cod: 86-TR-84.01 Standard Electrica. S.A Madrid 1986"},{"key":"14_CR6","unstructured":"Vidondo F., Lopez I., Girod J.J.:GALILEO Design Method. Electrical Communication Vol 50, no. 4 1980."},{"key":"14_CR7","unstructured":"Galileo Documentation: Cods: 86-TR-84.02, 86-TR-84.03, 86-TR-84.04, 86-TR-84.05, 86-TR-84.06, 86-TR-84.07 Standard Electrica S.A. Madrid 1986"},{"key":"14_CR8","unstructured":"Sanchez C.: Galileo model, language and tools. Electrical Communications, Vol. 60, no. 3\u20134, 1986."},{"key":"14_CR9","unstructured":"Lopez I., Sanz A.: GALILEO. Advanced Course on Petri Nets. Bad Honneff, Germany Sept. 1986."},{"key":"14_CR10","unstructured":"Nordic Mobile Telephone. Technical Specification NMT DOC.4.1981, System Description NMT DOC.1.1980."},{"key":"14_CR11","unstructured":"Pelaez M. C.: Radio Movil Celular:Unidad de Control. Especificacion Funcional. Cod: 5GU 13901 Standard Electrica S.A. Madrid 1986 Internal Report (in Spanish)"},{"key":"14_CR12","unstructured":"Lopez I., Pelaez M.C.: Experiences in the use of GALILEO to Design Telecommunication systems. Doc. Cod: 86-TR-84.13 Dec 1986."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:27:57Z","timestamp":1558268877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}