Dynamic analysis of timed Petri nets: A case of two processes and a shared resource

IEEE Transactions on Robotics and Automation

Volumn 13, Issue 3, 1997, Pages 338-346

  Alpan, Gülgün ^a   Jafari, Mohsen A ^a  

^a DEPARTMENT OF INDUSTRIAL AND SYSTEMS ENGINEERING   (United States)

Author keywords

Discrete event systems; Petri nets

Indexed keywords

CONTROL; EFFICIENCY; OPTIMIZATION; PROCESS ENGINEERING; RESOURCE ALLOCATION; SCHEDULING; SYSTEMS ANALYSIS;

TIMED PETRI NETS;

PETRI NETS;

EID: 0031162059     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.585897     Document Type: Article

References (12)

1. R. Y. Al-Jaar and A. A. Desrochers, "Petri nets in automation and manufacturing," Working Paper, Rensselaer Polytech. Inst., 1987.
2. G. Alpan and M. A. Jafari, "Dynamic analysis of timed Petri nets," IE Working Papers, Rutgers Univ., New Brunswick, NJ, 1994, no. 94-106.
3. _, "Dynamics analysis of timed petri nets in the presence of conflicts and free choices," IE Working Papers, Rutgers Univ., New Brunswick, NJ, 1995, no. 95-116;
4. IEEE Trans. Robot. Automat., to be published.
5. F. Baccelli, G. Cohen, and B. Gaujal, "Recursive equations and basic properties of timed Petri nets," J. Discrete Event Dynam. Syst.: Theory and Applicat., vol. 1, no. 4, pp. 415-439, June 1992.
6. J. Campos, G. Chiola, J. Colom, and M. Silva, "Properties and performance bounds for timed marked graphs," IEEE Trans. Circuits Syst. I, vol. 39, pp. 386-401, May 1992.
7. G. Cohen, P. Moller, J. P. Quadrat, and M. Viot, "Linear system theory for discrete event systems," in Proc. 23rd Conf. Decision and Contr., Las Vegas, NV, Dec. 1984, pp. 539-544.
8. G. Cohen, D. Dubois, J. P. Quadrat, and M. Voit, "A linear system theoretic view of discrete event progress and it's use for performance evaluation in manufacturing," IEEE Trans. Automat. Contr., vol. AC-30, pp. 210-220, Mar. 1985.
9. B. Gaujal, M. Jafari, M. Gürsoy, and G. Alpan, "Allocation sequences of two processes sharing a resource," IEEE Trans. Robot. Automat., vol. 11, pp. 748-753, Oct. 1995.
10. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
11. J. L. Peterson, Petri Net Theory and The Modeling of Systems. Englewood Cliffs, NJ: Prentice Hall, 1981.
12. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using petri nets," IEEE Trans. Software Eng., vol. SE-6, pp. 440-449, Sept. 1980.