# 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