摘要
Petri网是一种解决并发、离散系统的数学建模方法 ,Petri网可以对PLC程序中具有竞争、协调的并发系统进行描述、分析、建模 。
Mathematics that Petri net is a kind of solution to erupt,the disperse system sets up the mold method,Petri net can to PLC procedure have the competition ,moderate of erupt the system to proceed to describe,analysis,set up the mold,and make use of the direct design PLC of Petri net the procedure.
出处
《煤矿机械》
北大核心
2005年第3期13-15,共3页
Coal Mine Machinery
