Presentation	2004-11-04 An application of behavioral traps to liveness monotonicity of POC nets Atsushi OHTA,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	Petri net is an effective model for concurrent systems. Siphon and trap give an effective tool for liveness analysis of Petri net. Matsumoto et al. have proposed behavioral traps and Lautenbach et al, shown an algebraic sufficient condition for a behavioral trap. 0n the other hand, liveness of Petri net under the initial marking M_0 is monotonic if the net is live for any initial marking M^'_0 satisfying M^'_0≧M_O. In the report, we study weak monotonicity, where the increase of initial marking is in a limited way. A sufficient condition for weak monotonisicy of liveness is derived for POC net. Then necessary and sufficient condition for liveness being preserved in any constant multiple of initial marking M_0 is derived for AC/DC net whose place have at most two output transitions.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	concurrent system / Petri net / liveness / trap
Paper #	CAS2004-42,CST2004-21
Date of Issue

Conference Information
Committee	CAS
Conference Date	2004/10/28(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	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	An application of behavioral traps to liveness monotonicity of POC nets
Sub Title (in English)
Keyword(1)	concurrent system
Keyword(2)	Petri net
Keyword(3)	liveness
Keyword(4)	trap
1st Author's Name	Atsushi OHTA
1st Author's Affiliation	Faculty of Information Science and Technology, Aichi Prefectural University()
Date	2004-11-04
Paper #	CAS2004-42,CST2004-21
Volume (vol)	vol.104
Number (no)	402
Page	pp.pp.-
#Pages	5
Date of Issue