Efficiency of asynchronous systems and read arcs in Petri nets

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

Volumn 1256, Issue , 1997, Pages 538-548

  Vogler, Walter ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; PETRI NETS;

ASYNCHRONOUS SYSTEM; READ ARCS;

EFFICIENCY;

EID: 84951075659     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63165-8_209     Document Type: Conference Paper

References (12)

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 199S, LNCS 691, 186-205. Springer, 1993.
2. R. De Nicola, M.C.B. Hennessy. Testing equivalence for processes. Theoret. Comput. Sci., 34:83-133, 1984.
3. R. Gold. Verklemmungsfreiheit bei modularer Konstruktion fairer Petrinetze. Diplomarbeit, Techn. Univ. Munchen, 1988.
4. L. Jenner, W. Vogler. Fast asynchronous systems in dense time. In F. Meyer auf der Heide et al, editors, ICALP'96, LNCS 1099, 75-86. Springer, 1996.
5. E. Kindler, R. Walter. Message passing mutex. In J. Desel, editor. Structures in Concurrency Theory, Worksh. in Computing, 205-219. Springer, 1995.
6. E. Kindler, R. Walter. Mutex needs fairness. To appear, 1996.
7. U. Montanari, F. Rossi. Contextual nets. Acta Informatica, 32:545596, 1995.
8. M. Raynal. Algorithms for Mutual Exclusion. North Oxford Academic, 1986.
9. W. Reisig. Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. In J. Paredaens, editor, ICALP'84, LNCS 172, 403-413. Springer, 1984.
10. W. Vogler. Fairness and partial order semantics. Information Processing Letters, 55:33-39, 1995.
11. W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149-171, 1995.
12. W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. 1996. See http://www.math.uni-augsburg.de/~vogler/.