Now-a-days in engineering practice, the framework advancement has by and large been confronting some real needs – the need to grow progressively complex frameworks, the need to evaluate the framework's operational dangers and the need cost focused answer for accomplish these prerequisites. In need to this another model called Petri nets is presented. A Petri net is a conceptual, formal model of data stream. As a graphical and scientific apparatus, it gives a uniform situation to displaying, formal examination, and outline of discrete occasion frameworks. The principle target of this paper is to present the major ideas of Petri nets which work in the regions of demonstrating and investigation of mechanical kinds of frameworks and the idea of corresponding spot changes.
[1]
Tadao Murata,et al.
Petri nets: Properties, analysis and applications
,
1989,
Proc. IEEE.
[2]
Devesh C. Jinwala,et al.
Automated Analysis of Internet Key Exchange Protocol v2 for Denial of Service Attacks
,
2015,
Int. J. Netw. Secur..
[3]
MengChu Zhou,et al.
Petri nets and industrial applications: A tutorial
,
1994,
IEEE Trans. Ind. Electron..
[4]
James L. Peterson,et al.
Petri Nets
,
1977,
CSUR.
[5]
Jiacun Wang,et al.
Petri Nets for Dynamic Event-Driven System Modeling
,
2007,
Handbook of Dynamic System Modeling.