Girault, Claude Petri nets for systems engineering a guide modeling verification and applications - New York Springer 2003 - xvi, 607p. 24cm. ISBN: 3540412174 Subjects--Topical Terms: Engineering and allied operations Dewey Class. No.: 620.0011 / GIR