Petri net Concurrent system Automated manufacturing system Liveness Boundedness Deadlock Synthesis Processes Local concurrent set Local exclusive set Structural relationship Temporal matrix Algorithm Rules X-window CAD tool
描述:
來源期刊:Journal of Information Science and Engineering