Dirk A. Taubner

发表

A remark on the representation by finite Petri nets

Dirk A. Taubner, 1989 .

Abstract programming languages

Dirk A. Taubner, 1989 .

Connections with language theory

Dirk A. Taubner, 1989 .

Representation by finite and strict predicate/transition nets

Dirk A. Taubner, 1989 .

Representation by finite and safe Petri nets

Dirk A. Taubner, 1989 .

Representation by finite automata

Dirk A. Taubner, 1989 .

Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Dirk A. Taubner, D. Taubner, 1989, Lecture Notes in Computer Science.