/* code fragment for loading a petri */
	get_env_var('IFE_HOME', _Ife_Home),	% load installation defaults
	name(_Ife_Home, _Str1),
	append(_Str1, "lib/ac/ac/kbs/petri", _Str2),
	name(_PT_fname, _Str2),
	to_bb(transaction_mgr,['Petri list ', _PT_fname,' scanned...'] ),
	[-_PT_fname].

