Petri nets and regular processes (1999)

by P Jančar, J Esparza, F Moller
Venue:J. Comput. Syst. Sci