{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:38Z","timestamp":1725568118578},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290674"},{"type":"electronic","value":"9783540334989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11558958_59","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T15:02:16Z","timestamp":1140706936000},"page":"499-508","source":"Crossref","is-referenced-by-count":1,"title":["A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Iacono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Moscato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"59_CR1","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1109\/LICS.1990.113766","volume-title":"Proc. of the 5th Annual Symposium on Logic in Computer Science","author":"R. Alur","year":"1990","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for real-time systems. In: Proc. of the 5th Annual Symposium on Logic in Computer Science, pp. 414\u2013425. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"59_CR2","series-title":"Lecture Notes in Computer Science","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1989","unstructured":"Dill, D.L.: Timing Assumption and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1989)"},{"issue":"6","key":"59_CR3","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1023\/A:1008952519552","volume":"10","author":"J. Wang","year":"1999","unstructured":"Wang, J., Deng, Y.: Incremental modeling and verification of flexible manufacturing systems. Journal of Intelligent Manufacturing\u00a010(6), 485\u2013502 (1999)","journal-title":"Journal of Intelligent Manufacturing"},{"key":"59_CR4","unstructured":"Lin, M.-H., Fu, L.-C.: Modeling of Priority Queuing Service in discrete Event System Using Hybrid Petri Nets. In: Proc. IEEE International Conference on Systems, Man and Cybernetics, vol.\u00a01 (1999)"},{"key":"59_CR5","first-page":"2","volume-title":"Proc. 5th International Workshop on Petri Nets and Performance Models","author":"M. Raymond","year":"1993","unstructured":"Raymond, M., Alain, J.-M.: Quantitative Evaluation of Discrete Event Systems: Models, Performances and Technique. In: Proc. 5th International Workshop on Petri Nets and Performance Models, October 19-22, pp. 2\u201311. IEEE, Los Alamitos (1993)"},{"key":"59_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III","author":"C. Daws","year":"1996","unstructured":"Daws, C., Oliviero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 208\u2013219. Springer, Heidelberg (1996)"},{"key":"59_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"59_CR8","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of IEEE\u00a077(4)","DOI":"10.1109\/5.24143"},{"key":"59_CR9","unstructured":"http:\/\/jade.cselt.it\/"},{"key":"59_CR10","unstructured":"http:\/\/www.trl.ibm.co.jp\/aglets"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel Computing. State of the Art in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558958_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:06Z","timestamp":1619507466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558958_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540290674","9783540334989"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11558958_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}