{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:54:39Z","timestamp":1778298879993,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540646778","type":"print"},{"value":"9783540691082","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_11","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"185-204","source":"Crossref","is-referenced-by-count":9,"title":["Efficiency of Token-Passing MUTEX-Solutions \u2014 Some Experiments"],"prefix":"10.1007","author":[{"given":"Elmar","family":"Bihler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Applications and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"S. Christensen, N.D. Hansen. Coloured Petri nets extended with place capacities, test arcs, and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets 1993, LNCS 691, 186\u2013205. Springer, 1993."},{"key":"11_CR2","unstructured":"E.W. Dijkstra. Invariance and non-determinacy. In R. Hoare, C. A and J.C. Sheperdson, editors, Mathematical Logic and Programming Languages, 157\u2013165. Prentice-Hall, 1985."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M.C.B. Hennessy. Testing equivalence for processes. Theoret Comput. Sci., 34:83\u2013133, 1984.","journal-title":"Theoret Comput. Sci."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki, M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1\u201316, 1995.","journal-title":"Information and Computation"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"L. Jenner, W. Vogler. Fast asynchronous systems in dense time. In F. Meyer auf der Heide and B. Monien, editors, Automata, Languages and Programming ICALP\u201996, Lect. Notes Comp. Sci. 1099, 75\u201386. Springer, 1996.","DOI":"10.1007\/3-540-61440-0_118"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"E. Kindler, R. Walter. Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Worksh. in Computing, 205\u2013219. Springer, 1995.","DOI":"10.1007\/978-1-4471-3078-9_14"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0020-0190(97)00033-1","volume":"62","author":"E. Kindler","year":"1997","unstructured":"E. Kindler, R. Walter. Mutex needs fairness. Inf. Proc. Letter, 62:31\u201339, 1997.","journal-title":"Inf. Proc. Letter"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. Lynch","year":"1995","unstructured":"N. Lynch, F. Vaandrager. Forward and backward simulations I: Untimed systems. Information and Computation, 121:214\u2013233, 1995.","journal-title":"Information and Computation"},{"key":"11_CR9","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco, 1996."},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"U. Montanari, F. Rossi. Contextual nets. Acta Informatica, 32:545\u2013596, 1995.","journal-title":"Acta Informatica"},{"key":"11_CR11","unstructured":"PEP Homepage. \n                    http:\/\/www.informatik.uni-hildesheim.de\/pep\/\n                    \n                  ."},{"key":"11_CR12","unstructured":"M. Raynal. Algorithms for Mutual Exclusion. North Oxford Academic, 1986."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"P.H. Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990.","DOI":"10.1007\/978-3-663-09262-9"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/inco.1995.1130","volume":"121","author":"W. Vogler","year":"1995","unstructured":"W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149\u2013171, 1995.","journal-title":"Information and Computation"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"W. Vogler. Faster asynchronous systems. In I. Lee and S. Smolka, editors, CONCUR 95, Lect. Notes Comp. Sci. 962, 299\u2013312. Springer, 1995. Full version as Report Nr. 317, Inst. f. Mathematik, Univ. Augsburg, 1995.","DOI":"10.1007\/3-540-60218-6_22"},{"key":"11_CR16","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors, ICALP 97, Lect. Notes Comp. Sci. 1256, 538\u2013548. Springer, 1997. Full version as technical report Nr. 352, Inst. f. Mathematik, Univ. Augsburg, 1996."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:26:47Z","timestamp":1550723207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}