{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:45Z","timestamp":1725486165543},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430025"},{"type":"electronic","value":"9783540452942"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45294-x_24","type":"book-chapter","created":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T22:45:12Z","timestamp":1181601912000},"page":"280-291","source":"Crossref","is-referenced-by-count":7,"title":["Properties of Distributed Timed-Arc Petri Nets"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,26]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Timed Petri nets and BQOs","author":"P.A. Abdulla","year":"2001","unstructured":"P.A. Abdulla and A. Nyl\u00e9n. Timed Petri nets and BQOs. In Proc. of ICATPN 2001, volume 2075 of LNCS, pages 53\u201370, 2001."},{"key":"24_CR2","unstructured":"T. Bolognesi and P. Cremonese. The weakness of some timed models for concurrent systems. Technical Report CNUCE C89-29, CNUCE-C.N.R., 1989."},{"key":"24_CR3","unstructured":"T. Bolognesi, F. Lucidi, and S. Trigila. From timed Petri nets to timed LOTOS. In Proc. of the IFIP WG 6.1 Tenth International Symposium on Protocol Spec., Testing and Verification, pages 1\u201314, Amsterdam, 1990."},{"key":"24_CR4","unstructured":"Fred D.J. Bowden. Modelling time in Petri nets. In Proceedings of the Second Australia-Japan Workshop on Stochastic Models, 1996. http:\/\/www.itr.unisa.edu.au\/~fbowden\/pprs\/stomod96\/ ."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Kronos: A model-checking tool for real-time systems","author":"M. Bozga","year":"1998","unstructured":"M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: A model-checking tool for real-time systems. In Proc. of CAV\u201998, volume 1427 of LNCS, pages 546\u2013550, 1998."},{"key":"24_CR6","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Computation, 57:125\u2013147, 1983.","journal-title":"Information and Computation"},{"key":"24_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets","author":"H.M. Hanisch","year":"1993","unstructured":"H.M. Hanisch. Analysis of place\/transition nets with timed-arcs and its application to batch process control. In Application and Theory of Petri Nets, volume 691 of LNCS, pages 282\u2013299, 1993."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"S. Hauck. Asynchronous design methodologies: An overview. In Proc. of IEEE, volume 83, pages 69\u201393, 1995.","DOI":"10.1109\/5.362752"},{"issue":"1\u20132","key":"24_CR9","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Toolsfor Technology Transfer, 1(1\u20132):134\u2013152, 1997.","journal-title":"Int. Journal on Software Toolsfor Technology Transfer"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"E.W. Mayr. An algorithm for the general Petri net reachability problem (preliminary version). In Proc. of 13th Ann. ACM Symposium on Theory of Computing, pages 238\u2013246. Assoc. for Computing Machinery, 1981.","DOI":"10.1145\/800076.802477"},{"key":"24_CR11","unstructured":"T. Meincke, A. Hemani, S. Kumar, P. Ellervee, J. Berg, D. Lindqvist, H. Tenhunen, and A. Postula. Evaluating benefits of globally asynchronous locally synchronous VLSI architecture. In Proceedingsof 16th Norchip, pages 50\u201357, 1998."},{"key":"24_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-45740-2_3","volume-title":"Towards a notion of distributed time for Petri nets","author":"M. Nielsen","year":"2001","unstructured":"M. Nielsen, V. Sassone, and J. Srba. Towards a notion of distributed time for Petri nets. In Proc. of ICATPN 2001, volume 2075 of LNCS, pages 23\u201331, 2001."},{"key":"24_CR13","unstructured":"C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Inst. of Tech., Cambridge, 1973."},{"key":"24_CR14","series-title":"Lect Notes Comput Sci","first-page":"187","volume-title":"Decidability of properties of timed-arc Petri nets","author":"V. V. Ruiz","year":"2000","unstructured":"V. Valero Ruiz, D. de Frutos Escrig, and O. Marroquin Alosno. Decidability of properties of timed-arc Petri nets. In Proc. of ICATPN 2000, volume 1825 of LNCS, pages 187\u2013206, 2000."},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"V. Valero Ruiz, F. Cuartero Gomez, and D. de Frutos Escrig. On non-decidability of reachability for timed-arc Petri nets. In Proc. of PNPM\u201999, pages 188\u2013196, 1999.","DOI":"10.1109\/PNPM.1999.796565"},{"key":"24_CR16","unstructured":"J. Sifakis. Use of Petri nets for performance evaluation. In Proc. of the 3rd International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems, pages 75\u201393. Elsevier Science Publ., 1977."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"J. Wang. Timed Petri Nets, Theory and Application. Kluwer Acad. Publ., 1998.","DOI":"10.1007\/978-1-4615-5537-7"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45294-X_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:27:58Z","timestamp":1556486878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45294-X_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430025","9783540452942"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45294-x_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}