QR Code

THE FINITE REPRESENTATION OF ABSTRACT PROGRAMS BY AUTOMATA AND PETRI NETS /

Saved in:

Bibliographic Details
Main Author:	Taubner, Dirk A.
Format:	Book
Language:	English
Published:	München : Technická univerzita, 1988
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PETRI NETS /
by: Reisig, Wolfgang
Published: (1985)

Finite automata : behavior and synthesis /
by: Trankhtenbrot, B.A, et al.
Published: (1973)

ADVANCES IN PETRI NETS. 1987 /
by: Girault, C.
Published: (1987)

ADVANCES IN PETRI NETS. 1985 /
by: Baumgarten, B.
Published: (1986)

Algebraically generalised Petri nets /
by: Juhás, Gabriel
Published: (1998)

Switching and finite automata theory.
by: Kohavi, Zvi
Published: (1978)

Petri net theory and the modeling of systems /
by: Peterson, James Lyle
Published: (1981)

A primer in Petri net design /
by: Reisig, Wolfgang
Published: (1992)

A STRUCTURING MECHANISM FOR PETRI NETS /
by: Kiehn, Astrid
Published: (1989)

In terms of nets. System design with Petri nets and process algebra /
by: Basten, Antonius André
Published: (1998)

Decomposition and protocols in high-level Petri nets /
by: Rambags, Paul Michel Peter
Published: (1994)

Reachability analysis of systems based on Petri Nets /
by: Hudák, Štefan
Published: (1999)

Applications and theory of Petri nets : 3rd European Workshop, Varenna, Italy, 27. - 30. 9. 1982 /
by: Petri, C. A.
Published: (1983)

PETRI NETS. CENTRAL MODELS AND THEIR PROPERTIES : Proceedings, Bad Honnef, Sept. 1986 /
by: Petri, Carl Adam
Published: (1987)

PETRI NETS. APPLICATIONS AND RELATIONSHIPS TO OTHER MODELS OF CONCURRENCY. Advances in Petri nets 1986. Part 2 : Proceedings of an advanced course, Bad Honnef, 8. - 19. Sept. 1986 /
by: Jensen, Kurt
Published: (1987)

Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 /
by: Billington, Jonathan
Published: (1996)

Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /
by: Padberg, J.
Published: (1998)

Automata /
by: Hopkin, David, et al.
Published: (1976)

Representations of finite classical groups : a Hopf algebra approach /
by: Zelevinsky, Andrsy V.
Published: (1981)

Automata, languages and programming : proceedings of a symposium organized by IRIA /
Published: (1973)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
by: Blum, Manuel
Published: (1993)

Automata, languages and programming : 9th colloquium, Aarhus, Denmark, 12 - 16 July 1982 /
by: Back, R. J. R.
Published: (1982)

Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18 - 22, 1983 /
by: Abramsky, Samson
Published: (1983)

PRODUCTS OF AUTOMATA /
by: Gécseg, Ferenc
Published: (1986)

Tree automata /
by: Gécseg, Ferenc, et al.
Published: (1984)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
by: Verkoulen, Peter Antonius Christiaan
Published: (1993)

Automata theory : an engineering approach /
by: Aleksander, Igor, et al.
Published: (1975)

Finite element programming /
by: Hinton, E.
Published: (1977)

Automata and algebras in categories /
by: Adámek, Jiří
Published: (1990)

Algebraic theory of automata /
by: Gécseg, F., et al.
Published: (1972)

Automata forgácsoló szerszámgépek /
by: Becker, Dieter
Published: (1984)

Automata, languages, and machines.
by: Eilenberg, Samuel, et al.
Published: (1976)

PETRI-NETZE IN DER STEUERUNGSTECHNIK /
by: König, Rainer
Published: (1988)

Automata theory with modern applications /
by: Anderson, James A., et al.
Published: (2006)

Representation

Cellular automata and complexity : collected papers /
by: Wolfram, Stephen, 1959-
Published: (1994)

Fuzzy switching and automata : theory and applications /
by: Kandel, Abraham, et al.
Published: (1979)

Algebraic and structural automata theory /
by: Beyga, Lech
Published: (1991)

Automata theory and formal languages /
Published: (1975)

Recent Advances in Learning Automata
by: Rezvanian, Alireza
Published: (2018)