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