Presentation | 2010-11-18 A Probability-based State Space Analysis of Petri Nets SERRANO Eleazar JIMENEZ, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We present a partial exploration metaheuristic method of state spaces derived from Petri nets for the analysis of reachability problems using the information of a stored pointer over sorted lists of all firing vectors at every explored marking, but without keeping the sorted lists. It is supported with some probabilistic properties of the intrinsic structure of Petri nets for the exploration technique and complemented with upper and lower boundaries defined from well-founded statistical process control methods for terminating the exploration. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Petri nets / Statistical Process Control / State Space / Reachability |
Paper # | CAS2010-66,CST2010-39 |
Date of Issue |
Conference Information | |
Committee | CAS |
---|---|
Conference Date | 2010/11/11(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Circuits and Systems (CAS) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Probability-based State Space Analysis of Petri Nets |
Sub Title (in English) | |
Keyword(1) | Petri nets |
Keyword(2) | Statistical Process Control |
Keyword(3) | State Space |
Keyword(4) | Reachability |
1st Author's Name | SERRANO Eleazar JIMENEZ |
1st Author's Affiliation | Dept. of Automotive Science, Grad. School of Integrated Frontier Sciences, Kyushu University() |
Date | 2010-11-18 |
Paper # | CAS2010-66,CST2010-39 |
Volume (vol) | vol.110 |
Number (no) | 283 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |