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.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Petri nets.
Software engineering.
Algebra.
Electronic books.
QA267 / .H83 2012eb
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.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Petri nets.
Software engineering.
Algebra.
Electronic books.
QA267 / .H83 2012eb