{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:25Z","timestamp":1761487945477},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_3","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"23-31","source":"Crossref","is-referenced-by-count":8,"title":["Towards a Notion of Distributed Time for Petri Nets"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BFb0055627","volume-title":"Proceedings of 9th International Conference on Concurrency Theory (CONCUR\u201998)","author":"P. A. Abdulla","year":"1998","unstructured":"P. A. Abdulla and K. Cerans. Simulation is decidable for onecounter nets. In Proceedings of 9th International Conference on Concurrency Theory (CONCUR\u201998), volume 1466 of LNCS, pages 253\u2013268, 1998."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. 5th Symp. on Logic in Computer Science (LICS 90), pages 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"3_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Proc. of Int. Colloquium on Algorithms, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"R. Alur and D. Dill. Automata for modelling real-time systems. In Proc. of Int. Colloquium on Algorithms, Languages and Programming, volume 443 of LNCS, pages 322\u2013335, 1990."},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183\u2013236, 1994.","journal-title":"Theoretical Computer Science"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"P.A. Abdulla and A. Nylen. BQOs and timed Petri nets. In International Conference on Application and Theory of Petri Nets (ICATPN 2001), 2001 http:\/\/www.docs. uu.se\/~parosh\/publications\/publications.shtml .","DOI":"10.1007\/3-540-45740-2_5"},{"key":"3_CR6","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":"3_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Proceedings of CAV\u201998","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 Proceedings of CAV\u201998, volume 1427 of LNCS, pages 546\u2013550. Springer-Verlag, 1998."},{"key":"3_CR8","first-page":"138","volume":"62","author":"O. Burkart","year":"1997","unstructured":"O. Burkart and J. Esparza. More infinite results. Bulletin of the European Association for Theoretical Computer Science, 62:138\u2013159, June 1997. Columns: Concurrency.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"3_CR9","unstructured":"T. Bolognesi, F. Lucidi, and S. Trigila. From timed Petri nets to timed LOTOS. In Proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification (Ottawa 1990), pages 1\u201314. North-Holland, Amsterdam, 1990."},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-49116-3_30","volume-title":"Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201999)","author":"A. Bouajjani","year":"1999","unstructured":"A. Bouajjani and R. Mayr. Model checking lossy vector addition systems. In Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201999), volume 1563 of LNCS, pages 323\u2013333. Springer-Verlag, 1999."},{"key":"3_CR11","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":"3_CR12","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":"3_CR13","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."},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(90)90006-4","volume":"74","author":"P. Jancar","year":"1990","unstructured":"P. Jancar. Decidability of a temporal logic problem for Petri nets. Theoretical Computer Science, 74(1):71\u201393, 1990.","journal-title":"Theoretical Computer Science"},{"key":"3_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/3-540-63165-8_210","volume-title":"Automata, Languages and Programming, 24th International Colloquium (ICALP\u201997)","author":"P. Jancar","year":"1997","unstructured":"P. Jancar. Bisimulation equivalence is decidable for one-counter processes. In Automata, Languages and Programming, 24th International Colloquium (ICALP\u201997), volume 1256 of LNCS, pages 549\u2013559. Springer-Verlag, 1997."},{"key":"3_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","volume-title":"Proc. of Fundamentals of Computation Theory","author":"K.G. Larsen","year":"1995","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi. Model-checking for realtime systems. In Proc. of Fundamentals of Computation Theory, number 965 in LNCS, pages 62\u201388, 1995."},{"issue":"1-2","key":"3_CR17","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 Tools for Technology Transfer, 1(1-2):134\u2013152, 1997.","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"E.W. Mayr. An algorithm for the general Petri net reachability problem (preliminary version). In Proc. 13th Ann. ACM Symposium on Theory of Computing, pages 238\u2013246. Assoc. for Computing Machinery, 1981.","DOI":"10.1145\/800076.802477"},{"key":"3_CR19","unstructured":"T. Meincke, A. Hemani, S. Kumar, P. Ellervee, J. Berg, D. Lindqvist, H. Tenhunen, A. Postula. Evaluating Benefits of Globally Asynchronous Locally Synchronous VLSI Architecture). In Proc. 16th Norchip, pages 50\u201357, 1998."},{"key":"3_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/3-540-61604-7_56","volume-title":"Proceedings of CONCUR\u201996","author":"F. Moller","year":"1996","unstructured":"F. Moller. Infinite results. In Proceedings of CONCUR\u201996, volume 1119 of LNCS, pages 195\u2013216. Springer-Verlag, 1996."},{"key":"3_CR21","series-title":"PhD thesis","volume-title":"Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets","author":"C. Ramchandani","year":"1973","unstructured":"C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, 1973."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"V. Valero Ruiz, V. Valero Ruiz, F. Cuartero Gomez, and D. de Frutos Escrig. On non-decidability of reachability for timed-arc Petri nets. In Proceedings of the 8th Int. Workshop on Petri Net and Performance Models (PNPM\u201999), pages 188\u2013196, 1999.","DOI":"10.1109\/PNPM.1999.796565"},{"key":"3_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1007\/BFb0032010","volume-title":"Proceedings REX Workshop on Real-Time: Theory in Practice","author":"F. B. Schneider","year":"1992","unstructured":"F. B. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In Proceedings REX Workshop on Real-Time: Theory in Practice, volume 600 of LNCS, pages 618\u2013639. Springer-Verlag, 1992."},{"key":"3_CR24","first-page":"75","volume-title":"Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977)","author":"J. Sifakis","year":"1977","unstructured":"J. Sifakis. Use of Petri nets for performance evaluation. In Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977), pages 75\u201393. Elsevier Science Publishers, Amsterdam, 1977."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"J. Wang. Timed Petri Nets, Theory and Application. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5537-7"},{"key":"3_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the International Conference on Concurrency Theory (CONCUR\u201990)","author":"W. Yi","year":"1990","unstructured":"Wang Yi. Real-time behaviour of asynchronous agents. In Proceedings of the International Conference on Concurrency Theory (CONCUR\u201990), number 458 in LNCS. Springer-Verlag, 1990."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T09:17:31Z","timestamp":1556961451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}