{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:14Z","timestamp":1775054054519,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642311307","type":"print"},{"value":"9783642311314","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31131-4_19","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T14:36:12Z","timestamp":1338906972000},"page":"348-367","source":"Crossref","is-referenced-by-count":5,"title":["Nets-within-Nets to Model Innovative Space System Architectures"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Cristini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Tessier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Tenth Annual International Phoenix Conference on Computers and Communications","author":"C. Barnhart","year":"1991","unstructured":"Barnhart, C., Ziemer, R.: Topological analysis of networks composed of multiple satellites. In: Tenth Annual International Phoenix Conference on Computers and Communications, US Naval Res. Lab., Washington, DC (1991)"},{"key":"19_CR2","volume-title":"4th Responsive Space Conference","author":"O. Brown","year":"2006","unstructured":"Brown, O., Eremenko, P.: Fractionated space architectures: a vision for responsive space. In: 4th Responsive Space Conference. AIAA, Los Angeles (2006)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44919-1_10","volume-title":"Applications and Theory of Petri Nets 2003","author":"L. Cabac","year":"2003","unstructured":"Cabac, L., Moldt, D., R\u00f6lke, H.: A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 102\u2013120. Springer, Heidelberg (2003)"},{"issue":"10","key":"19_CR4","first-page":"981","volume":"4","author":"J.R. Celaya","year":"2009","unstructured":"Celaya, J.R., Desrochers, A.A., Graves, R.J.: Modeling and analysis of multi-agent systems using Petri nets. Journal of Computers\u00a04(10), 981\u2013996 (2009)","journal-title":"Journal of Computers"},{"key":"19_CR5","unstructured":"Cougnet, C., Gerber, B., Dufour, J.-F.: New technologies for improving satellite maintainability, flexibility and responsiveness. In: Toulouse Space Show 2010, TechnoDis Symposium, Toulouse, France (2010)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Cristini, F.: Robust satellite networks: solutions against emerging space threats. In: 18th IFAC Symposium on Automatic Control in Aerospace, Nara, Japan (2010)","DOI":"10.3182\/20100906-5-JP-2022.00065"},{"key":"19_CR7","unstructured":"Cristini, F., Tessier, C., Bensana, E.: Satellite network architectures against emerging space menaces. In: Toulouse Space Show 2010, TechnoDis Symposium, Toulouse, France (2010)"},{"key":"19_CR8","unstructured":"Cristini, F., Tessier, C., Bensana, E.: Satellite network architectures against emerging space threats. In: 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), Sapporo, Japan (2010)"},{"key":"19_CR9","volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2001","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus (2001)"},{"key":"19_CR10","unstructured":"Jaramillo, C. (ed.): Space Security Index 2011, Executive summary. Project Ploughshares and the McGill University Institute of Air and Space Law, Canada (2011)"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/b95112_5","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Hierarchical coloured Petri nets. In: Coloured Petri Nets, pp. 95\u2013125. Springer, Heidelberg (2009)"},{"key":"19_CR12","unstructured":"K\u00f6hler, M.: Mobile object net systems: Petri nets as active tokens. Technical Report 320, University of Hamburg, Department of Computer Science (2002)"},{"key":"19_CR13","first-page":"1","volume":"1","author":"O. Kummer","year":"2001","unstructured":"Kummer, O.: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell\u00a01, 1\u20139 (2001)","journal-title":"Sozionik Aktuell"},{"key":"19_CR14","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew - User Guide. Release 2.2. Technical report, Theoretical Foundations Group, Departement of Informations, University of Hamburg (2009)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An Extensible Editor and Simulation Engine for Petri Nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"19_CR16","unstructured":"Laborde, B., Castel, C., Gabard, J.-F., Soumagne, R., Tessier, C.: FDIR strategies for autonomous satellite formations - A preliminary report. In: AAAI 2006 Fall Symposium \u201dSpace Autonomy: Using AI to Expand Human Space Exploration\u201d, Washington DC, USA (2006)"},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1023\/A:1009686016775","volume":"16","author":"L. Lee","year":"1998","unstructured":"Lee, L., Nwana, H., Ndumu, D., Wilde, P.D.: The stability, scalability and performance of multi-agent systems. BT Technology Journal\u00a016(3), 94\u2013103 (1998)","journal-title":"BT Technology Journal"},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-2000-43123410","volume":"43","author":"I.A. Lomazova","year":"2000","unstructured":"Lomazova, I.A.: Nested Petri Nets: a formalism for specification and verification of multi-agent distributed systems. Fundamenta Informaticae\u00a043, 195\u2013214 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR19","unstructured":"NASA. Glossary - NASA Crew Exploration Vehicle, SOL NNT05AA01J, Attachment J-6 (2005), http:\/\/www.spaceref.com\/news\/viewsr.html?pid=15201"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-4-431-35873-2_42","volume-title":"Distributed Autonomous Robotic Systems 6","author":"R. S\u00e1nchez-Herrera","year":"2007","unstructured":"S\u00e1nchez-Herrera, R., Villanueva-Paredes, N., L\u00f3pez-Mellado, E.: High-Level Modelling of Cooperative Mobile Robot Systems. In: Alami, R., Chatila, R., Asama, H. (eds.) Distributed Autonomous Robotic Systems 6, pp. 431\u2013440. Springer, Heidelberg (2007)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201324. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31131-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:46:58Z","timestamp":1620114418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31131-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311307","9783642311314"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31131-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}