IEEE - Institute of Electrical and Electronics Engineers, Inc. - Property Checking for 1-Place-Unbounded Petri Nets

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Yunhe Wang ; Bo Jiang ; Li Jiao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 117 - 125
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.9
Regular:

The reach ability tree for an unbounded net system is infinite. By using $\omega$ symbol to represent infinitely many markings, cover ability tree can provide a finite form. However, with too much... View More

Advertisement