Title of article :
Dynamic analysis of timed Petri nets: a case of two processes and a shared resource
Author/Authors :
Alpan، نويسنده , , G.، نويسنده , , Jafari، نويسنده , , M.A.، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 1998
Keywords :
Discrete Event Systems , Petri nets.
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation