Property-preserving petri net process algebra in software engineering
Huang, Hejiao.
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.
9789814324298 (electronic bk.)
Petri nets.
Software engineering.
Algebra.
Electronic books.
QA267 / .H83 2012
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.
9789814324298 (electronic bk.)
Petri nets.
Software engineering.
Algebra.
Electronic books.
QA267 / .H83 2012