Timed Petri Nets, Linear Logic, and Performance Modeling

Vijay Gehlot. Timed Petri Nets, Linear Logic, and Performance Modeling. In Hamid R. Arabnia, Rose Joshua, Iyad A. Ajwa, George A. Gravvanis, editors, Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV 04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS 04, June 21-24, 2004, Las Vegas, Nevada, US. pages 195-200, CSREA Press, 2004.

Abstract

Abstract is missing.