Applying Petri Nets to Requirements Validation

  title={Applying Petri Nets to Requirements Validation},
  author={Jose Reinaldo Silva}
Mechatronics and Information Systems can be assumed as complex, and thus have a prohibitive cost for adjustments out of the specification phase. This emphasizes the early development phases as especially critical for the success of projects, besides being very important to guide implementation decisions. We proposed a requirement validation method suitable to a life cycle represented with the Unified Process and addressed to the specification and design of information systems. The key issue of… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS


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


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

Introduction to Petri Nets

  • W. Reisig
  • <http://…
  • 2002

Enterprise Modeling and Integration: Principles and Applications

  • F. Vernadat
  • s.l.: s.ed.,
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…