Paper Title
System Requirements Specification – Consistency Analyzingq

Abstract
Clarity, consistency and completeness are very important specifications in a system .Such specification provide the user with factual information about the system. These specifications are presented as a document, a diagram or mathematical forms. In this paper Petri Net is proposed in order to formalize UML semantics .This approach offers a comprehensive methodology in regard to consistency. Thus, meeting software demands and fulfilling the client's needs. In this regard, the system requirement specification document is translated to UML, and then UML is mapped to Petri Nets. Finally, Platform Independent Petri net(PIPE) and Behavioral Consistency Checker (BCC) analysis tools are used to analyze the UML and Petri Net model to verify inconsistency problems. Keywords - Requirements Specification, modeling, UML, Petri Net, Consistency.