{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:57:29Z","timestamp":1725544649719},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340638"},{"type":"electronic","value":"9783540340645"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11751113_18","type":"book-chapter","created":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T05:06:08Z","timestamp":1147842368000},"page":"250-265","source":"Crossref","is-referenced-by-count":0,"title":["Network Structure and Traffic Modeling and Simulation with CO-OPN"],"prefix":"10.1007","author":[{"given":"David","family":"Hurzeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-1-4757-3573-4_4","volume-title":"Concurrency in Dependable Computing","author":"D. Buchs","year":"2002","unstructured":"Buchs, D., Costa, S., Hurzeler, D.: Component Based System Modelling for Easier Verification. In: Ezhilchevan, P., Romanovski, A. (eds.) Concurrency in Dependable Computing, pp. 61\u201386. Kluwer, Dordrecht (2002)"},{"key":"18_CR2","unstructured":"Hurzeler, D.: Flexible Subtyping Relations for Component-Oriented Formalisms and their Verification, PhD thesis n.3131, Swiss Federal Institute for Technology Lausanne (November 2004)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-45397-0_3","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"O. Biberstein","year":"2001","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: the CO-OPN\/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 73\u2013127. Springer, Heidelberg (2001)"},{"key":"18_CR4","unstructured":"http:\/\/cui.unige.ch\/smv\/CoopnTools\/index.html"},{"key":"18_CR5","unstructured":"Diergardt, M., Mock, R.: New Ways of Applying the Petri Net Formalism in Risk Analysis, Technical Report, Swiss Federal Institute of Technology, Zurich (2004)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0925-7535(01)00078-9","volume":"41","author":"D. Vernez","year":"2003","unstructured":"Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Safety Science\u00a041, 445\u2013463 (2003)","journal-title":"Safety Science"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/11423331_6","volume-title":"Rapid Integration of Software Engineering Techniques","author":"L. Lucio","year":"2005","unstructured":"Lucio, L., Pedro, L., Buchs, D.: A Methodology and a Framework for Model-Based Testing. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol.\u00a03475, pp. 57\u201370. Springer, Heidelberg (2005)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-30232-2_22","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"O. Wibling","year":"2004","unstructured":"Wibling, O., Parrow, J., Pears, A.N.: Automatized Verification of Ad Hoc Routing Protocols. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 343\u2013358. Springer, Heidelberg (2004)"},{"key":"18_CR9","volume-title":"Proc. Int. Workshop on Timed Petri Nets","author":"G. Chiola","year":"1985","unstructured":"Chiola, G.: A software package for the analysis of generalized stochastic Petri net models. In: Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press, Los Alamitos (1985)"},{"key":"18_CR10","unstructured":"Yanar, D.: Modellbasierte Risikoanalyse technischer Systeme f\u00fcr Versicherungszwecke (PhD thesis). Laboratory for Safety Analysis, Swiss Federal Institute of Technology, Zurich (1999)"},{"key":"18_CR11","unstructured":"Fabricius, S.: Modelling and Simulation for Plant Performability Assessment with Application to Maintenance in the Process Industry (PhD thesis). Laboratory for Safety Analysis, Swiss Federal Institute of Technology, Zurich (2003)"},{"key":"18_CR12","volume-title":"Proceedings of the workshops of DEXA 1998 International Conference on Database and Expert Systems Applications","author":"M. Buffo","year":"1998","unstructured":"Buffo, M.: Experiences in coordination programming. In: Proceedings of the workshops of DEXA 1998 International Conference on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos (1998)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-63383-9_94","volume-title":"Coordination Languages and Models","author":"M. Buffo","year":"1997","unstructured":"Buffo, M., Buchs, D.: A coordination model for distributed object systems. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol.\u00a01282, pp. 410\u2013413. Springer, Heidelberg (1997)"},{"issue":"7","key":"18_CR14","first-page":"635","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE\u00a026(7), 635\u2013652 (2000)","journal-title":"IEEE TSE"},{"key":"18_CR15","unstructured":"Biberstein, O., Buchs, D.: Structured algebraic nets with object-orientation. In: Proc.of the first int. work-shop on Object-Oriented Programming and Models of Concurrency within the 16th Int. Conf. on Application and Theory of Petri Nets, Torino, Italy, June 26\u201330 (1995)"},{"issue":"7","key":"18_CR16","first-page":"635","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE\u00a026(7), 635\u2013652 (2000)","journal-title":"IEEE TSE"},{"key":"18_CR17","unstructured":"Chachkov, S.: Generation Of Object-Oriented Programs From CO-OPN Specifications, Phd Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2003)"},{"key":"18_CR18","unstructured":"Souksavanh, S.: Extending CO-OPN with Time, Diploma Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2002)"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11751113_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:45:33Z","timestamp":1552351533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11751113_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340638","9783540340645"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11751113_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}