PakCat catalogue record Petrinets for system Engineering By Girault C Bibliographic details LanguageEnglish Material typeBook