a method for verifying deadlock freedom and liveness of petri nets

	a method for verifying deadlock freedom and liveness of petri nets
	Jiao Li
	2008
会议名称	IEEE International Symposium on Circuits and Systems
会议录名称	Proceedings - IEEE International Symposium on Circuits and Systems
页码	209-211
会议日期	MAY 18-21,
会议地点	Seattle, WA
出版地	345 E 47TH ST, NEW YORK, NY 10017 USA
出版者	PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10
ISSN	0277-674X
ISBN	978-1-4244-2078-0
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
摘要	A well-known sufficient condition for a Petri net to be deadlock-free is that every siphon contains a marked trap. This property is called the marked siphon-trap property and it is also sufficient and necessary for characterizing liveness of s
关键词	Marine Biology Siphons Technical Presentations
主办者	IEEE
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10574
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Jiao Li. a method for verifying deadlock freedom and liveness of petri nets[C]. 345 E 47TH ST, NEW YORK, NY 10017 USA:PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10,2008:209-211.