Petri nets are graphical and mathematical modeling tools which are gaining popularity in recent years. It is a tool for the representation of complex logical systems, such as synchronization, sequentially, concurrency and conflict. The present introduction highlights some of the formalism of Petri nets with special emphasis on reachability and coverability analysis. We have also extended our topic by explaining place & transition invariance with examples.