01379nam a2200373 a 4500 EBC919108 MiAaPQ 20250821121057.0 m o d | cr cn||||||||| 120611s2012 si ad sb 000 0 eng d 9814324280 9789814324281 9789814324298 (electronic bk.) (MiAaPQ)EBC919108 (Au-PeEL)EBL919108 (CaPaEBR)ebr10563529 (CaONFJC)MIL364620 (OCoLC)789546490 MiAaPQ MiAaPQ MiAaPQ QA267 .H83 2012 Huang, Hejiao. 417215 Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.]. Singapore : World Scientific Pub. Co., 2012. xii, 306 p. : ill. Includes bibliographical references. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Petri nets. 417216 Software engineering. 36662 Algebra. 36396 Electronic books. 35142 ProQuest (Firm) 417217 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=919108 Click to View 285811 285811