Free choice Petri nets /
Desel, Jörg.
Esparza, Javier.
Cambridge : Cambridge University Press,
1995.
Includes index.
Petri nets.