{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:47Z","timestamp":1725664187864},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:37:39Z","timestamp":1330277859000},"page":"423-436","source":"Crossref","is-referenced-by-count":12,"title":["Efficient timing analysis of a class of Petri nets"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Hulgaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven M.","family":"Burns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. L. Dill. The theory of timed automata. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rosenberg, editors, Real-Time: Theory in Practice, LNCS #600, pages 28\u201373. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031987"},{"key":"33_CR2","unstructured":"F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity. John Wiley and Sons, 1992."},{"issue":"3","key":"33_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3):259\u2013273, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01888220","volume":"2","author":"E. Best","year":"1990","unstructured":"E. Best and J. Desel. Partial order behavior and structure of Petri nets. Formal Aspects of Computing, 2:123\u2013138, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"33_CR5","unstructured":"E. Best and Raymond Devillers. Interleaving and partial orders in concurrency: A formal comparison. In M. Wirsing, editor, Formal Description of Programming Concepts-III, pages 299\u2013323, 1986."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"J. R. Burch. Trace Algebra for Automatic Verification of Real-Time Concurrent Systems. Ph.D. thesis, Carnegie Mellon, August 1992.","DOI":"10.21236\/ADA256199"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00709157","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. Formal Methods in System Design, 1:385\u2013415, 1992.","journal-title":"Formal Methods in System Design"},{"key":"33_CR8","unstructured":"D. L. Dill, editor. Computer-Aided Verification '94."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Using partial orders to improve automatic verification methods. In E. M. Clarke and R. P. Kurshan, editors, Computer-Aided Verification '90, pages 321\u2013340.","DOI":"10.1090\/dimacs\/003\/21"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"H. Hulgaard and S. M. Burns. Bounded delay timing analysis of a class of CSP programs with choice. In International Symposium on Advanced Research in Asynchronous Circuits and Systems, November 1994.","DOI":"10.1109\/ASYNC.1994.656281"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello. Practical applications of an efficient time separation of events algorithm. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 146\u2013151, November 1993.","DOI":"10.1109\/ICCAD.1993.580046"},{"key":"33_CR12","unstructured":"H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello. An algorithm for exact bounds on the time separation of events in concurrent systems. To appear in IEEE Transactions on Computers. Available as University of Washington CS&E Technical Report #94-02-02. (anonymous ftp: cs.washington.edu:tr\/1994\/02\/UW-CSE-94-02-02.PS.Z)"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"K. L. McMillan and D. L. Dill. Algorithms for interface timing verification. In 1992 IEEE International Conference on Computer Design: VLSI in Computers and Processors, October 1992.","DOI":"10.1109\/ICCD.1992.276208"},{"key":"33_CR14","unstructured":"J. L. Peterson. Petri Net Theory and The Modeling of Systems. Prentice-Hall, 1981."},{"issue":"5","key":"33_CR15","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"SE-6","author":"C. V. Ramamoorthy","year":"1980","unstructured":"C. V. Ramamoorthy and G. S. Ho. Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Transactions on Software Engineering, SE-6(5):440\u2013448, September 1980.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR16","unstructured":"T. G. Rokicki. Representing and Modeling Digital Circuits. Ph.D. thesis, Stanford University, 1993."},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"T. G. Rokicki and C. J. Myers. Automatic verification of timed circuits. In D. L. Dill, editor, Computer-Aided Verification '94, pages 468\u2013480.","DOI":"10.1007\/3-540-58179-0_76"},{"key":"33_CR18","doi-asserted-by":"crossref","unstructured":"W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. LNCS #625. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55767-9"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:58Z","timestamp":1605648538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}