&ChangMokPark&Gi-NamWangAbstractThispaperproposesthearchitectureofaPLCprogrammingenvironmentthatenablesavisualverificationofPLCprogramsthatintegratesaPLCprogramwithacorrespondingplantmodel,,,(DiscreteEventSystemsSpecifications)formalism,whichsupportsthespecificationofdiscreteeventmodelsinahierarchical,,urrenceofvariousevents,,theymustnotonlycontinuetoimprovetheirproductsbutalsostrivetoimproveproductionsystemscontinuously[10].Thus,-changingcapabilities,ahardwarehandlingsystemandstoragesystem,puterc
关于PLC英文文献(1) 来自淘豆网m.daumloan.com转载请标明出处.