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