Relation-algebraic analysis of Petri nets with RELVIEW

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

Volumn 1055, Issue , 1996, Pages 49-69

  Berghammer, Rudolf ^a   Von Karger, Burghard ^a   Ulke, Christiane ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PETRI NETS;

CORRECT-BY-CONSTRUCTION; PREDICATE LOGIC; RELATION-ALGEBRAIC ANALYSIS; RELATIONAL ALGEBRA; RELVIEW;

ALGEBRA;

EID: 84958753757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61042-1_38     Document Type: Conference Paper

References (13)

1. Berghammer R., Zierer H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoret. Comput. Sci. 43, 123-147 (1986)
2. Berghammer R., Gritzner T., Schmidt G.: Prototyping relational specifications using higher-order objects. In: Heering, J, Meinke, K., MSller, B., Nipkow, T. (eds.): Proc. Int. Workshop on Higher Order Algebra, Logic and Term Rewriting (HOA 93), Amsterdam, The Netherlands, Sept. 1993, LNCS 816, Springer, 56-75 (1994)
3. Berghammer R., yon Karger B.: Algorithms from relational specification. In: Brink C., Schmidt G., Albrecht R. (eds.): Relational methods in Computer Science, Supplement volume of Computing (to appear 1996)
4. Berghammer R., Schmidt G.: RELVIEW - A computer system for the manipulation of relations. In: Nivat M., Rattray C., Rus T., Scollo G. (eds.): Proc. 3rd Conf. on Algebraic Methodology and Software Technology (AMAST 93), University of Twente, The Netherlands, June 1993, Workshops in Computing, Springer, 405-406 (1993)
5. Dijkstra E.W.: Hierarchical ordering of sequential processes. Acta Informatica l, 115-138 (1971)
6. Genrich H.J., Lautenbach K.: Synchronisationsgraphen. Acta Informatica 2, 143-161 (1973)
7. Hack M.: Analysis of production schemata by Petri nets. TR-94, MITMAC (1972)
8. Lautenbach K.: Liveness in Petri nets. Bericht 02.1/75-7-29, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin (1975)
9. Reisig W.: Petri nets - An introduction. EATCS Monographs on Theoret. Comput. Sci., Springer (1985)
10. Olderog E.-R.: Nets, terms and formulas. Cambridge Tracts in Theoret. Comput. Sci., Cambridge University Press (1991)
11. Petri C.A.: Non-sequential processes. Bericht GMD-ISF-77-5, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin (1977)
12. Schmidt G., Ströhlein T.:Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci., Springer (1993)
13. Tarski A.: On the calculus of relations. J. Symbolic Logic 6, 73-89 (1941)