@article {314,
	title = {Mechanism analysis of protocols based on the FPCPN model},
	journal = {Journal of Digital Information Management},
	volume = {10},
	year = {2012},
	note = {Export Date: 10 July 2014},
	month = {2012},
	pages = {86 - 93},
	abstract = {Focusing on the protection of privacy and non- publicity of special networks, the CPN model is extended to PCPN by the protocol factor and the formal model. The FPCPN (Formal Protocol Colored Petri Net) is presented to analyze the operation mechanism of protocols. It is introduced by four steps, such as the whole structure, the network element conversion, the conditions of transition triggers/executions and sub-system partitions. Finally, the feasibility and efficiency of FPCPN is validated by an example.},
	keywords = {CPN, FPCPN, Mechanism of protocol, Petrinet},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84866451164\&partnerID=40\&md5=eb201b179c8b50ddc41f54eabc15fec2},
	author = {Wang, W.}
}
