Free Choice Petri Nets: an Algebraic Approach (1996)

by F Baccelli, S Foss, B Gaujal
Venue:IEEE Trans. on Automatic Control