A Formal Model of VHDL Using Coloured Petri Nets

1995 ◽  
pp. 140-169 ◽  
Author(s):  
Serafín Olcoz
Keyword(s):  
Petri Nets ◽  
Formal Model ◽  
Coloured Petri Nets

scholarly journals Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Naeem Akhtar Khan ◽  
Farooq Ahmad ◽  
Sher Afzal Khan
Keyword(s):  
Petri Nets ◽  
Formal Model ◽  
Formal Semantics ◽  
Cost Effective ◽  
Mobility Model ◽  
Mesh Network ◽  
Coloured Petri Nets ◽  
Border Effect ◽  
Cost Effective Alternative ◽  
Random Waypoint

The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions. The usefulness of specific mobility protocol can be determined by selection of mobility model. This paper introduces a coloured Petri nets (CP-nets) based formal model for implementation, simulation, and analysis of most widely used random waypoint (RWP) mobility model for WMNs. The formal semantics of hierarchical timed CP-nets allow us to investigate the terminating behavior of the transitions using state space analysis techniques. The proposed implementation improves the RWP mobility model by removing the “border effect” and resolves the “speed decay” problem.

Modeling Emergency Response Plans with Coloured Petri Nets

2013 ◽  
pp. 106-117
Author(s):  
Manuel Cheminod ◽  
Ivan Cibrario Bertolotti ◽  
Luca Durante ◽  
Adriano Valenzano
Keyword(s):  
Petri Nets ◽  
Emergency Response ◽  
Coloured Petri Nets ◽  
Modeling Emergency
Sign in / Sign up

Export Citation Format

Share Document