{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:09:41Z","timestamp":1742918981624,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116278"},{"type":"electronic","value":"9783642116285"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11628-5_26","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T23:02:20Z","timestamp":1267138940000},"page":"241-250","source":"Crossref","is-referenced-by-count":11,"title":["Properties Preservation in Distributed Execution of Petri Nets Models"],"prefix":"10.1007","author":[{"given":"Anik\u00f3","family":"Costa","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Figueiredo","sequence":"additional","affiliation":[]},{"given":"Ant\u00f4nio","family":"Junior","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","first-page":"1","volume-title":"Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation","author":"L.C.B. Brisolara","year":"2009","unstructured":"Brisolara, L.C.B., Kreutz, M.E., Carro, L.: UML as Front-End Language for Embedded Systems Design. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 1\u201323. Information Science Reference, Hershey (2009)"},{"key":"26_CR2","first-page":"24","volume-title":"Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation","author":"A. Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Model-Driven Design and ASM Validation of Embedded Systems. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 24\u201354. Information Science Reference, Hershey (2009)"},{"key":"26_CR3","series-title":"Verification and Applicatons","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri nets for systems engineering: A Guide to Modeling","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri nets for systems engineering: A Guide to Modeling. Verification and Applicatons. Springer, Heidelberg (2003)"},{"key":"26_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: An Introduction. Springer, New York (1985)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Costa, A., Gomes, L.: Petri net Partitioning Using net Splitting Operation. In: 7th IEEE International Conference on Industrial Informatics (2009)","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"26_CR6","unstructured":"OMG: Object Management Group (2009), http:\/\/www.omg.org"},{"key":"26_CR7","unstructured":"Miller, J., Mukerji, J.: Mda guide version 1.0.1. Object Management Group, OMG (2003)"},{"issue":"11","key":"26_CR8","first-page":"2196","volume":"15","author":"P. Barbosa","year":"2009","unstructured":"Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A., Costa, A., Gomes, L.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (JUCS)\u00a015(11), 2196\u20132224 (2009), http:\/\/www.jucs.org\/jucs_15_11\/checking_semantics_equivalence_of","journal-title":"Journal of Universal Computer Science (JUCS)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Christensen","year":"1994","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Channels for Synchronous Communication. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 159\u2013178. Springer, Heidelberg (1994)"},{"key":"26_CR10","unstructured":"Silva, M.: Las Redes de Petri: En la Autom\u00e1tica y la Inform\u00e1tica. Editorial AC, Madrid (1985)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Barros, J.P., Gomes, L.: Net Model Composition and Modification by Net Operations: A Pragmatic Approach. In: 2nd IEEE International Conference on Industrial Informatics, Berlin, Germany, June 24-26 (2004)","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"26_CR12","unstructured":"Maude system and tools, http:\/\/maude.cs.uiuc.edu\/maude1\/tutorial\/"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P.: Mart\u00ed -Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science (2001)","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"26_CR14","unstructured":"Specification patterns for temporal logic model-checking. SAnTos Laboratories, http:\/\/patterns.projects.cis.ksu.edu\/documentation\/patterns\/ltl.shtml"}],"container-title":["IFIP Advances in Information and Communication Technology","Emerging Trends in Technological Innovation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11628-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:03:17Z","timestamp":1558857797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11628-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116278","9783642116285"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11628-5_26","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2010]]}}}