Petri Net Research
1. Petri Net Tutorial
A tutorial paper:
reading-petri-net-tutorial-zurawski-zhou.pdf
2. Petri Net Simulation Tools
We have the following two packages:
http://www.ac.tuiasi.ro/pntool/
Prof. Kishor S. Trivedi, Duke University
http://www.ee.duke.edu/~kst/software_packages.html
Additional info of Petri Net Simulation:
Petri Nets Tools and Software
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/
Petri Nets World
http://www.informatik.uni-hamburg.de/TGI/PetriNets/
MATLAB Petri Net Toolbox
http://www.mathworks.com/matlabcentral/fileexchange/loadFile.do?objectId=6501&objectType=file
3. MANET (Mobile Ad Hoc Networks)
MANET slides:
A
stochastic Petri net-approach to modeling and analysis of ad hoc network
Zhang, C.; Zhou, M.; Information Technology: Research and Education, 2003.
Proceedings. ITRE2003. International Conference on; 11-13 Aug. 2003 Page(s):152
- 156
4. Channel Resource Allocation - Call Admission Control
Channel
assignment schemes for cellular mobile telecommunication systems: a
comprehensive survey
Katzela, I.; Naghshineh, M.; Personal Communications, IEEE [see also IEEE
Wireless Communications]
Volume 3, Issue 3, June 1996 Page(s):10 - 31
Modeling resource
management in cellular systems using Petri nets
Jaimes-Romero, F.J.; Munoz-Rodriguez, D.; Molina, C.; Tawfik, H.; Vehicular
Technology, IEEE Transactions on
Volume 46, Issue 2, May 1997 Page(s):298 - 312