Application of Colored Petri Nets in Software Development

刘密霞,余冬梅,冯涛
DOI: https://doi.org/10.3969/j.issn.1673-5196.2004.03.026
2004-01-01
Abstract:In order to improve the quality of software development, detect the errors before coding and implementing the system, and reduce the cost of software development, colored Petri nets, with the ability of formalization description and graphic expression is introduced into the software development. The definition of formalization and graphic expression of colored Petri nets is introduced first, then the frame of software development with the introduced colored Petri nets is put forward, and finally an application illustration is given.
What problem does this paper attempt to address?