Deriving petri nets from finite transition systems. (1998)

by J Cortadella
Venue:IEEE Trans. Comput.,