Verification of Petri net models based on transition vectors

The verification of distributed and concurrent systems is a complex task due to the state space explosion problem. In this paper, transition vectors have been initiated as a simplified and systematic approach to identify the structure and have the power of detecting the important structural prospects which aid to verify important properties of Petri nets. Several structural aspects of important properties have been examined for the verification of Petri net models using simplified approach of transition vectors in order to overcome the shortcomings of existing methods of verification.