Abstract
The authors use a colored Petri net model of a substantial subset of Ada to do critical path analysis. They are primarily interested in determining the circumstances under which a concurrent program will take the most time. This is done by finding the critical path. The authors associate with each transition a cost representing the time necessary to execute the corresponding instruction. They define the critical path as a generalization of the usual PERT notion. The critical path in a colored Petri net takes into account the special semantics of firing only enabled transitions. The authors do not modify the semantics to take into account time as in various models of Petri nets with time. They do critical path analysis by transforming the net to an equivalent net whose critical path takes the same amount of time. The Petri net is rewritten over and over again until the net is reduced to a single transition. >
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.