Validation of Dynamic Behavior in UML Using Colored Petri Nets

  title={Validation of Dynamic Behavior in UML Using Colored Petri Nets},
  author={Robert G. Pettit and Hassan Gomaa},
This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to automate the behavioral analysis of concurrent and real-time object-oriented software designs. 
Highly Cited
This paper has 56 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 36 extracted citations

57 Citations

Citations per Year
Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-5 of 5 references

DesignCPN, version 4.0

  • K. Jensen
  • Aarhus, Denmark, University of Aarhus,
  • 1999
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…