PCPN

AcronymDefinition
PCPNPrecipitation
PCPNPer Child per Night (hotel rates)
References in periodicals archive ?
En cuanto a amenazas se refiere, la mayor cantidad acechan a la Region de la Planicie Costera y Golfo de Mexico (PCGM) y a la Region Peninsula de Yucatan y Caribe Mexicano (PYCM); las regiones con menor tipo de amenazas identificadas son la Region Peninsula de California y Pacifico Norte, (PCPN) y la Region Noreste y Sierra Madre Oriental (NESM).
Casos inversos serian la Region Peninsular de Baja California y Pacifico Norte (PCPN), y la Region Noreste y Sierra Madre Oriental (NESM), que son zonas con una relativamente menor diversidad de tipos de vegetacion, con mayores superficies incluidas en ANP y relativamente menores tipos de amenazas identificadas.
From the definition of PCPN, we can see that it has three features: (1) it is compatible with CPN and can make use of already existed CPN theories to analyze protocols.
The Specific Description of Transformation trans//start transformation when ip.message//condition of transformation from A to B//transform A to B provide C && delay([t.sub.1],[t.sub.2]) && priority D//match multiple conditions begin ...//transformation action end This paper mainly discuss the formal Estelle of PCPN.
The design basis of transforming PCPN to formal model is that all the transitions in subsystems are all transformed to trans in Estelle for those transitions are independent and the trans are concurrent.
As shown in Figure 3, the global PCPN system is the highest abstraction of PCPN model and the top level specification module to Estelle [11,12].
PCPN uses transition rules to describe the dynamic characteristics of the system, especially reflected on the input and output arcs connected with the transition.
The Formal description of Certain Transition in Simple Stop-and-wait Protocol trans when user.message provide check_inputtarc(S1,t1) && check_outputtarc(t1,S2) begin act_inputarc(S1,t1); act_outputarc(t1,S2); end function check_inputarc(S1,t1) if Send_buffer==0 return true; else return false; function check_outputarc(t1,S2) seq=(seq+1)mod2; if M(S2)+1<=1 return true; else return false; function act_inputarc(S1,t1) M(S1)=0; function act_outputarc(t1,S2); Send_buffer=0; M(S1)=0; Through this process, PCPN model can be transformed to formal description and get formal PCPN model--FPCPN.