Huang, Hejiao, Property-preserving petri net process algebra : in software engineering / Hejiao Huang, Li Jiao, To-Yat Cheung, Wai Ming Mak - xii, 306 páginas : ilustraciones ISBN: 9789814324281 981-4324-28-0 Subjects--Topical Terms: Diseño de sistemasRedes de Petri LC Class. No.: QA76.9S88 / H83