Title of article :
Consistency Verification in Modeling of Real-Time Systems.
Author/Authors :
Y. Deng، نويسنده , , J. Wang، نويسنده , , and M. Zhou، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2004
Keywords :
Modeling and verification , timing constraints. , time Petri nets (TPNs) , manufacturing systems , real-time systems
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation
