Efficiency of token-passing MUTEX-solutions – some experiments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1420, Issue , 1998, Pages 185-204

  Bihler, Elmar ^a   Vogler, Walter ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

ASYNCHRONOUS SYSTEM; NEW RESULTS; TOKEN PASSING;

EFFICIENCY;

EID: 84957629334     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69108-1_11     Document Type: Conference Paper

References (16)

1. 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-205. Springer, 1993.
2. E.W. Dijkstra. Invariance and non-determinacy. In R. Hoare, C.A and J.C. Sheperdson, editors, Mathematical Logic and Programming Languages, 157-165. Prentice-Hall, 1985.
3. R. De Nicola, M.C.B. Hennessy. Testing equivalence for processes. Theoret. Comput. Sci., 34:83-133, 1984.
4. R. Janicki, M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1-16, 1995.
5. 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'96, Lect. Notes Comp. Sci. 1099, 75-86. Springer, 1996.
6. E. Kindler, R. Walter. Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Worksh. in Computing, 205-219. Springer, 1995.
7. E. Kindler, R. Walter. Mutex needs fairness. Inf. Proc. Letter, 62:31-39, 1997.
8. N. Lynch, F. Vaandrager. Forward and backward simulations I: Untimed systems. Information and Computation, 121:214-233, 1995.
9. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco, 1996.
10. U. Montanari, F. Rossi. Contextual nets. Acta Informatica, 32:545-596, 1995.
11. PEP Homepage. http://www.informatik.uni-hildesheim.de/ pep/.
12. M. Raynal. Algorithms for Mutual Exclusion. North Oxford Academic, 1986.
13. P.H. Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990.
14. W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149-171, 1995.
15. W. Vogler. Faster asynchronous systems. In I. Lee and S. Smolka, editors, CONCUR 95, Lect. Notes Comp. Sci. 962, 299-312. Springer, 1995. Full version as Report Nr. 317, Inst. f. Mathematik, Univ. Augsburg, 1995.
16. 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-548. Springer, 1997. Full version as technical report Nr. 352, Inst. f. Mathematik, Univ. Augsburg, 1996.