Institutional Repository
| canonical transition set semantics for petri nets | |
| Wang Yunhe; Jiao Li | |
| 2010 | |
| Conference Name | 31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 84-103 |
| Conference Date | JUN 21-25, |
| Conference Place | Braga, PORTUGAL |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-642-13674-0 |
| Department | Wang, Yunhe; Jiao, Li Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China. |
| English Abstract | A new partial order semantics called canonical transition set (CTS for short) semantics is proposed for P/T nets. We first prove that it is well-defined, sound and complete, and then give a state space exploring method based on it. CTS semantics provides a compressed representation for the interleaving transition sequences of finite length. Compared with other methods, the state space exploration based on CTS semantics can avoid many redundant branches and reach all states in less steps. Furthermore, we show that CTS semantics coincides with step semantics in Foata normal form 8 for pure 1-safe nets, which gives an experimental support that CTS semantics is more efficient for state space exploration. As for a special property, deadlock, we show that all deadlocks can be detected by a method combining CTS semantics with persistent set method. |
| Keyword | Petri Nets Partial Order Reduction Canonical Transition Set Semantics State Space Exploration Step Semantics |
| Sponsorship | Inst Polytecn Beja |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8684 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Wang Yunhe,Jiao Li. canonical transition set semantics for petri nets[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS,2010:84-103. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| canonical transition（306KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment