Petri网精细化操作及其在系统设计中的应用.pdfVIP

ISSN1000-9825．CODENRUXUEW accn E·mail：Jos@iseas Journal ofSoftware，Voll7，No．1．January1I一19 cn 2006．pp http：／／wwwjosore DOI 10．1360／josl70011 蟹2006Journal All ofSof：,ware reserved by fights Petri网精细化操作及其在系统设计中的应用4 夏传良“，焦莉2，陆维明1 1(中国科学院数学与系统科学研究院计算机科学研究市．北京100080) 2(中国科学院软件研究所计算机科学重点实验室，|E京 100080) PetriNetRefinementandIts in ApplicationSystemDesign XIA Li2，LU Chuan—Liang“，JIAOWei—Ming of ofMathematics ‘(Department and Chinese of ComputerScience，Academy SystemSciences，The 100080， AcademySciences，B嘶ing Chica) 2(LaboratoryofComputerScience，Institute ofSoftware，TheChineseAcademyofScie心，BcqiⅡ9100080，ChiⅡa) author：Phn：+86·10Fax：+86—10E—mail：xcl@amssaC adrllSS．accn +Corresponding cn．hUp：Pwww Xia WM·Petri CL，JiaoL，Lu netrefinementandits in applicationsystemdesign．JournalofSoftware． 2006。17(1)：11—19．http：／／www．jos．org．cn／1000—9825／17／11．htm Abstract：Aschemeisobtained somekindsofPetrinet tothe offlexible byusing refinement，accordingdesign Twokinds ofrefinementAre have manufacturingsystem been obtained．Dynamicproperties sufficientand conditions ofliveness