id	sid	tid	token	lemma	pos
cet-9877	1	1	microsoft	microsoft	PROPN
cet-9877	1	2	word	word	NOUN
cet-9877	1	3	425simasatitkul.doc	425simasatitkul.doc	NUM
cet-9877	1	4	chemical	chemical	NOUN
cet-9877	1	5	engineering	engineering	NOUN
cet-9877	1	6	transactions	transaction	NOUN
cet-9877	1	7	vol	vol	NOUN
cet-9877	1	8	.	.	PROPN
cet-9877	2	1	74	74	NUM
cet-9877	2	2	,	,	PUNCT
cet-9877	2	3	2019	2019	NUM
cet-9877	2	4	a	a	DET
cet-9877	2	5	publication	publication	NOUN
cet-9877	2	6	of	of	ADP
cet-9877	2	7	the	the	DET
cet-9877	2	8	italian	italian	ADJ
cet-9877	2	9	association	association	NOUN
cet-9877	2	10	of	of	ADP
cet-9877	2	11	chemical	chemical	PROPN
cet-9877	2	12	engineering	engineering	NOUN
cet-9877	2	13	online	online	ADV
cet-9877	2	14	at	at	ADP
cet-9877	2	15	www.cetjournal.it	www.cetjournal.it	PROPN
cet-9877	2	16	guest	guest	NOUN
cet-9877	2	17	editors	editor	NOUN
cet-9877	2	18	:	:	PUNCT
cet-9877	2	19	sauro	sauro	PROPN
cet-9877	2	20	pierucci	pierucci	PROPN
cet-9877	2	21	,	,	PUNCT
cet-9877	2	22	jiří	jiří	NOUN
cet-9877	2	23	jaromír	jaromír	PROPN
cet-9877	2	24	klemeš	klemeš	PROPN
cet-9877	2	25	,	,	PUNCT
cet-9877	2	26	laura	laura	NOUN
cet-9877	2	27	piazza	piazza	VERB
cet-9877	2	28	copyright	copyright	NOUN
cet-9877	2	29	©	©	PROPN
cet-9877	2	30	2019	2019	NUM
cet-9877	2	31	,	,	PUNCT
cet-9877	2	32	aidic	aidic	ADJ
cet-9877	2	33	servizi	servizi	PROPN
cet-9877	2	34	s.r.l	s.r.l	PROPN
cet-9877	2	35	.	.	PUNCT
cet-9877	3	1	isbn	isbn	ADJ
cet-9877	3	2	978	978	NUM
cet-9877	3	3	-	-	SYM
cet-9877	3	4	88	88	NUM
cet-9877	3	5	-	-	PUNCT
cet-9877	3	6	95608	95608	NUM
cet-9877	3	7	-	-	PUNCT
cet-9877	3	8	71	71	NUM
cet-9877	3	9	-	-	SYM
cet-9877	3	10	6	6	NUM
cet-9877	4	1	;	;	PUNCT
cet-9877	4	2	issn	issn	PROPN
cet-9877	4	3	2283	2283	NUM
cet-9877	4	4	-	-	SYM
cet-9877	4	5	9216	9216	NUM
cet-9877	4	6	synthesis	synthesis	NOUN
cet-9877	4	7	and	and	CCONJ
cet-9877	4	8	validation	validation	NOUN
cet-9877	4	9	of	of	ADP
cet-9877	4	10	operating	operating	NOUN
cet-9877	4	11	procedures	procedure	NOUN
cet-9877	4	12	based	base	VERB
cet-9877	4	13	on	on	ADP
cet-9877	4	14	untimed	untimed	ADJ
cet-9877	4	15	automata	automata	PROPN
cet-9877	4	16	tai	tai	PROPN
cet-9877	4	17	-	-	PUNCT
cet-9877	4	18	yu	yu	PROPN
cet-9877	4	19	chen	chen	PROPN
cet-9877	4	20	,	,	PUNCT
cet-9877	4	21	chuei	chuei	PROPN
cet-9877	4	22	-	-	PUNCT
cet-9877	4	23	tin	tin	NOUN
cet-9877	4	24	chang	chang	PROPN
cet-9877	4	25	*	*	PROPN
cet-9877	4	26	department	department	PROPN
cet-9877	4	27	of	of	ADP
cet-9877	4	28	chemical	chemical	PROPN
cet-9877	4	29	engineering	engineering	PROPN
cet-9877	4	30	,	,	PUNCT
cet-9877	4	31	ational	ational	PROPN
cet-9877	4	32	cheng	cheng	PROPN
cet-9877	4	33	kung	kung	PROPN
cet-9877	4	34	university	university	PROPN
cet-9877	4	35	,	,	PUNCT
cet-9877	4	36	tainan	tainan	PROPN
cet-9877	4	37	,	,	PUNCT
cet-9877	4	38	taiwan	taiwan	PROPN
cet-9877	4	39	70101	70101	NUM
cet-9877	4	40	,	,	PUNCT
cet-9877	4	41	roc	roc	PROPN
cet-9877	4	42	ctchang@mail.ncku.edu.tw	ctchang@mail.ncku.edu.tw	VERB
cet-9877	4	43	to	to	PART
cet-9877	4	44	facilitate	facilitate	VERB
cet-9877	4	45	efficient	efficient	ADJ
cet-9877	4	46	procedure	procedure	NOUN
cet-9877	4	47	synthesis	synthesis	NOUN
cet-9877	4	48	,	,	PUNCT
cet-9877	4	49	the	the	DET
cet-9877	4	50	extended	extended	ADJ
cet-9877	4	51	finite	finite	NOUN
cet-9877	4	52	automata	automata	NOUN
cet-9877	4	53	are	be	AUX
cet-9877	4	54	adopted	adopt	VERB
cet-9877	4	55	in	in	ADP
cet-9877	4	56	this	this	DET
cet-9877	4	57	work	work	NOUN
cet-9877	4	58	to	to	PART
cet-9877	4	59	model	model	VERB
cet-9877	4	60	all	all	DET
cet-9877	4	61	components	component	NOUN
cet-9877	4	62	in	in	ADP
cet-9877	4	63	a	a	DET
cet-9877	4	64	chemical	chemical	NOUN
cet-9877	4	65	process	process	NOUN
cet-9877	4	66	.	.	PUNCT
cet-9877	5	1	the	the	DET
cet-9877	5	2	intended	intend	VERB
cet-9877	5	3	operation	operation	NOUN
cet-9877	5	4	is	be	AUX
cet-9877	5	5	divided	divide	VERB
cet-9877	5	6	into	into	ADP
cet-9877	5	7	several	several	ADJ
cet-9877	5	8	stages	stage	NOUN
cet-9877	5	9	and	and	CCONJ
cet-9877	5	10	each	each	PRON
cet-9877	5	11	characterized	characterize	VERB
cet-9877	5	12	with	with	ADP
cet-9877	5	13	a	a	DET
cet-9877	5	14	set	set	NOUN
cet-9877	5	15	of	of	ADP
cet-9877	5	16	unique	unique	ADJ
cet-9877	5	17	features	feature	NOUN
cet-9877	5	18	,	,	PUNCT
cet-9877	5	19	e.g.	e.g.	ADV
cet-9877	5	20	,	,	PUNCT
cet-9877	5	21	stable	stable	ADJ
cet-9877	5	22	operation	operation	NOUN
cet-9877	5	23	,	,	PUNCT
cet-9877	5	24	condition	condition	NOUN
cet-9877	5	25	adjustment	adjustment	NOUN
cet-9877	5	26	,	,	PUNCT
cet-9877	5	27	material	material	NOUN
cet-9877	5	28	charging	charging	NOUN
cet-9877	5	29	and/or	and/or	CCONJ
cet-9877	5	30	unloading	unloading	NOUN
cet-9877	5	31	,	,	PUNCT
cet-9877	5	32	etc	etc	X
cet-9877	5	33	.	.	X
cet-9877	6	1	the	the	DET
cet-9877	6	2	control	control	NOUN
cet-9877	6	3	specifications	specification	NOUN
cet-9877	6	4	of	of	ADP
cet-9877	6	5	every	every	DET
cet-9877	6	6	stage	stage	NOUN
cet-9877	6	7	should	should	AUX
cet-9877	6	8	then	then	ADV
cet-9877	6	9	be	be	AUX
cet-9877	6	10	stipulated	stipulate	VERB
cet-9877	6	11	accordingly	accordingly	ADV
cet-9877	6	12	and	and	CCONJ
cet-9877	6	13	also	also	ADV
cet-9877	6	14	described	describe	VERB
cet-9877	6	15	with	with	ADP
cet-9877	6	16	automata	automata	NOUN
cet-9877	6	17	.	.	PUNCT
cet-9877	7	1	the	the	DET
cet-9877	7	2	observable	observable	ADJ
cet-9877	7	3	event	event	NOUN
cet-9877	7	4	traces	trace	NOUN
cet-9877	7	5	(	(	PUNCT
cet-9877	7	6	oets	oet	NOUN
cet-9877	7	7	)	)	PUNCT
cet-9877	7	8	embedded	embed	VERB
cet-9877	7	9	in	in	ADP
cet-9877	7	10	this	this	DET
cet-9877	7	11	system	system	NOUN
cet-9877	7	12	can	can	AUX
cet-9877	7	13	be	be	AUX
cet-9877	7	14	produced	produce	VERB
cet-9877	7	15	by	by	ADP
cet-9877	7	16	synchronizing	synchronize	VERB
cet-9877	7	17	all	all	DET
cet-9877	7	18	aforementioned	aforementioned	ADJ
cet-9877	7	19	automata	automata	NOUN
cet-9877	7	20	.	.	PUNCT
cet-9877	8	1	the	the	DET
cet-9877	8	2	candidate	candidate	NOUN
cet-9877	8	3	operating	operating	NOUN
cet-9877	8	4	procedures	procedure	NOUN
cet-9877	8	5	are	be	AUX
cet-9877	8	6	summarized	summarize	VERB
cet-9877	8	7	with	with	ADP
cet-9877	8	8	sequential	sequential	ADJ
cet-9877	8	9	function	function	NOUN
cet-9877	8	10	charts	chart	NOUN
cet-9877	8	11	(	(	PUNCT
cet-9877	8	12	sfcs	sfcs	PROPN
cet-9877	8	13	)	)	PUNCT
cet-9877	8	14	on	on	ADP
cet-9877	8	15	the	the	DET
cet-9877	8	16	basis	basis	NOUN
cet-9877	8	17	of	of	ADP
cet-9877	8	18	these	these	DET
cet-9877	8	19	oets	oet	NOUN
cet-9877	8	20	.	.	PUNCT
cet-9877	9	1	the	the	DET
cet-9877	9	2	commercial	commercial	ADJ
cet-9877	9	3	package	package	NOUN
cet-9877	9	4	aspen	aspen	NOUN
cet-9877	9	5	plus	plus	CCONJ
cet-9877	9	6	dynamic	dynamic	NOUN
cet-9877	9	7	has	have	AUX
cet-9877	9	8	been	be	AUX
cet-9877	9	9	used	use	VERB
cet-9877	9	10	to	to	PART
cet-9877	9	11	validate	validate	VERB
cet-9877	9	12	these	these	DET
cet-9877	9	13	sfcs	sfc	NOUN
cet-9877	9	14	in	in	ADP
cet-9877	9	15	simulation	simulation	NOUN
cet-9877	9	16	studies	study	NOUN
cet-9877	9	17	.	.	PUNCT
cet-9877	10	1	1	1	X
cet-9877	10	2	.	.	X
cet-9877	10	3	introduction	introduction	NOUN
cet-9877	10	4	despite	despite	SCONJ
cet-9877	10	5	the	the	DET
cet-9877	10	6	fact	fact	NOUN
cet-9877	10	7	the	the	DET
cet-9877	10	8	modern	modern	ADJ
cet-9877	10	9	chemical	chemical	NOUN
cet-9877	10	10	plants	plant	NOUN
cet-9877	10	11	are	be	AUX
cet-9877	10	12	becoming	become	VERB
cet-9877	10	13	more	more	ADV
cet-9877	10	14	complex	complex	ADJ
cet-9877	10	15	than	than	SCONJ
cet-9877	10	16	they	they	PRON
cet-9877	10	17	used	use	VERB
cet-9877	10	18	to	to	PART
cet-9877	10	19	be	be	AUX
cet-9877	10	20	,	,	PUNCT
cet-9877	10	21	their	their	PRON
cet-9877	10	22	operating	operating	NOUN
cet-9877	10	23	procedures	procedure	NOUN
cet-9877	10	24	are	be	AUX
cet-9877	10	25	still	still	ADV
cet-9877	10	26	generated	generate	VERB
cet-9877	10	27	manually	manually	ADV
cet-9877	10	28	in	in	ADP
cet-9877	10	29	most	most	ADJ
cet-9877	10	30	cases	case	NOUN
cet-9877	10	31	.	.	PUNCT
cet-9877	11	1	manual	manual	ADJ
cet-9877	11	2	synthesis	synthesis	NOUN
cet-9877	11	3	of	of	ADP
cet-9877	11	4	operating	operate	VERB
cet-9877	11	5	procedure	procedure	NOUN
cet-9877	11	6	in	in	ADP
cet-9877	11	7	a	a	DET
cet-9877	11	8	realistic	realistic	ADJ
cet-9877	11	9	system	system	NOUN
cet-9877	11	10	can	can	AUX
cet-9877	11	11	be	be	AUX
cet-9877	11	12	a	a	DET
cet-9877	11	13	very	very	ADV
cet-9877	11	14	difficult	difficult	ADJ
cet-9877	11	15	task	task	NOUN
cet-9877	11	16	since	since	SCONJ
cet-9877	11	17	it	it	PRON
cet-9877	11	18	is	be	AUX
cet-9877	11	19	both	both	PRON
cet-9877	11	20	time	time	NOUN
cet-9877	11	21	-	-	PUNCT
cet-9877	11	22	consuming	consume	VERB
cet-9877	11	23	and	and	CCONJ
cet-9877	11	24	error	error	NOUN
cet-9877	11	25	-	-	PUNCT
cet-9877	11	26	prone	prone	ADJ
cet-9877	11	27	.	.	PUNCT
cet-9877	12	1	it	it	PRON
cet-9877	12	2	is	be	AUX
cet-9877	12	3	thus	thus	ADV
cet-9877	12	4	desirable	desirable	ADJ
cet-9877	12	5	to	to	PART
cet-9877	12	6	develop	develop	VERB
cet-9877	12	7	a	a	DET
cet-9877	12	8	systematic	systematic	ADJ
cet-9877	12	9	approach	approach	NOUN
cet-9877	12	10	to	to	PART
cet-9877	12	11	automatically	automatically	ADV
cet-9877	12	12	conjecture	conjecture	VERB
cet-9877	12	13	operation	operation	NOUN
cet-9877	12	14	steps	step	NOUN
cet-9877	12	15	so	so	SCONJ
cet-9877	12	16	as	as	SCONJ
cet-9877	12	17	to	to	PART
cet-9877	12	18	achieve	achieve	VERB
cet-9877	12	19	specific	specific	ADJ
cet-9877	12	20	production	production	NOUN
cet-9877	12	21	goal	goal	NOUN
cet-9877	12	22	(	(	PUNCT
cet-9877	12	23	lu	lu	NOUN
cet-9877	12	24	et	et	PROPN
cet-9877	12	25	al	al	PROPN
cet-9877	12	26	.	.	PROPN
cet-9877	12	27	,	,	PUNCT
cet-9877	12	28	2017	2017	NUM
cet-9877	12	29	)	)	PUNCT
cet-9877	12	30	.	.	PUNCT
cet-9877	13	1	the	the	DET
cet-9877	13	2	untimed	untimed	ADJ
cet-9877	13	3	extended	extend	VERB
cet-9877	13	4	finite	finite	NOUN
cet-9877	13	5	automata	automata	NOUN
cet-9877	13	6	(	(	PUNCT
cet-9877	13	7	efa	efa	PROPN
cet-9877	13	8	)	)	PUNCT
cet-9877	13	9	(	(	PUNCT
cet-9877	13	10	åkesson	åkesson	NOUN
cet-9877	13	11	et	et	PROPN
cet-9877	13	12	al	al	PROPN
cet-9877	13	13	.	.	PROPN
cet-9877	13	14	,	,	PUNCT
cet-9877	13	15	2006	2006	NUM
cet-9877	13	16	)	)	PUNCT
cet-9877	13	17	are	be	AUX
cet-9877	13	18	utilized	utilize	VERB
cet-9877	13	19	in	in	ADP
cet-9877	13	20	the	the	DET
cet-9877	13	21	present	present	ADJ
cet-9877	13	22	work	work	NOUN
cet-9877	13	23	for	for	ADP
cet-9877	13	24	such	such	DET
cet-9877	13	25	a	a	DET
cet-9877	13	26	purpose	purpose	NOUN
cet-9877	13	27	.	.	PUNCT
cet-9877	14	1	in	in	ADP
cet-9877	14	2	particular	particular	ADJ
cet-9877	14	3	,	,	PUNCT
cet-9877	14	4	all	all	DET
cet-9877	14	5	components	component	NOUN
cet-9877	14	6	in	in	ADP
cet-9877	14	7	a	a	DET
cet-9877	14	8	given	give	VERB
cet-9877	14	9	system	system	NOUN
cet-9877	14	10	are	be	AUX
cet-9877	14	11	characterized	characterize	VERB
cet-9877	14	12	with	with	ADP
cet-9877	14	13	automata	automata	NOUN
cet-9877	14	14	according	accord	VERB
cet-9877	14	15	to	to	ADP
cet-9877	14	16	the	the	DET
cet-9877	14	17	proposed	propose	VERB
cet-9877	14	18	modelling	modelling	NOUN
cet-9877	14	19	principles	principle	NOUN
cet-9877	14	20	(	(	PUNCT
cet-9877	14	21	li	li	PROPN
cet-9877	14	22	et	et	PROPN
cet-9877	14	23	al	al	PROPN
cet-9877	14	24	.	.	PROPN
cet-9877	14	25	,	,	PUNCT
cet-9877	14	26	2014	2014	NUM
cet-9877	14	27	)	)	PUNCT
cet-9877	14	28	.	.	PUNCT
cet-9877	15	1	to	to	PART
cet-9877	15	2	further	far	ADV
cet-9877	15	3	facilitate	facilitate	VERB
cet-9877	15	4	efficient	efficient	ADJ
cet-9877	15	5	procedure	procedure	NOUN
cet-9877	15	6	synthesis	synthesis	NOUN
cet-9877	15	7	,	,	PUNCT
cet-9877	15	8	the	the	DET
cet-9877	15	9	intended	intend	VERB
cet-9877	15	10	operation	operation	NOUN
cet-9877	15	11	is	be	AUX
cet-9877	15	12	divided	divide	VERB
cet-9877	15	13	into	into	ADP
cet-9877	15	14	several	several	ADJ
cet-9877	15	15	distinguishable	distinguishable	ADJ
cet-9877	15	16	stages	stage	NOUN
cet-9877	15	17	in	in	ADP
cet-9877	15	18	which	which	PRON
cet-9877	15	19	the	the	DET
cet-9877	15	20	intrinsic	intrinsic	ADJ
cet-9877	15	21	natures	nature	NOUN
cet-9877	15	22	of	of	ADP
cet-9877	15	23	each	each	DET
cet-9877	15	24	stage	stage	NOUN
cet-9877	15	25	,	,	PUNCT
cet-9877	15	26	e.g.	e.g.	ADV
cet-9877	15	27	,	,	PUNCT
cet-9877	15	28	stable	stable	ADJ
cet-9877	15	29	operation	operation	NOUN
cet-9877	15	30	,	,	PUNCT
cet-9877	15	31	condition	condition	NOUN
cet-9877	15	32	adjustment	adjustment	NOUN
cet-9877	15	33	,	,	PUNCT
cet-9877	15	34	material	material	NOUN
cet-9877	15	35	charging	charging	NOUN
cet-9877	15	36	and/or	and/or	CCONJ
cet-9877	15	37	discharging	discharge	VERB
cet-9877	15	38	,	,	PUNCT
cet-9877	15	39	etc	etc	X
cet-9877	15	40	.	.	X
cet-9877	15	41	,	,	PUNCT
cet-9877	15	42	are	be	AUX
cet-9877	15	43	identifiable	identifiable	ADJ
cet-9877	15	44	.	.	PUNCT
cet-9877	16	1	the	the	DET
cet-9877	16	2	control	control	NOUN
cet-9877	16	3	specifications	specification	NOUN
cet-9877	16	4	of	of	ADP
cet-9877	16	5	every	every	DET
cet-9877	16	6	stage	stage	NOUN
cet-9877	16	7	are	be	AUX
cet-9877	16	8	described	describe	VERB
cet-9877	16	9	accordingly	accordingly	ADV
cet-9877	16	10	with	with	ADP
cet-9877	16	11	automata	automata	NOUN
cet-9877	16	12	so	so	SCONJ
cet-9877	16	13	as	as	SCONJ
cet-9877	16	14	to	to	PART
cet-9877	16	15	set	set	VERB
cet-9877	16	16	the	the	DET
cet-9877	16	17	target	target	NOUN
cet-9877	16	18	state	state	NOUN
cet-9877	16	19	,	,	PUNCT
cet-9877	16	20	to	to	PART
cet-9877	16	21	create	create	VERB
cet-9877	16	22	different	different	ADJ
cet-9877	16	23	operation	operation	NOUN
cet-9877	16	24	paths	path	NOUN
cet-9877	16	25	via	via	ADP
cet-9877	16	26	state	state	NOUN
cet-9877	16	27	splitting	splitting	NOUN
cet-9877	16	28	,	,	PUNCT
cet-9877	16	29	to	to	PART
cet-9877	16	30	limit	limit	VERB
cet-9877	16	31	feasible	feasible	ADJ
cet-9877	16	32	operations	operation	NOUN
cet-9877	16	33	to	to	ADP
cet-9877	16	34	those	those	PRON
cet-9877	16	35	that	that	PRON
cet-9877	16	36	follow	follow	VERB
cet-9877	16	37	only	only	ADV
cet-9877	16	38	the	the	DET
cet-9877	16	39	designated	designate	VERB
cet-9877	16	40	partial	partial	ADJ
cet-9877	16	41	sequences	sequence	NOUN
cet-9877	16	42	and	and	CCONJ
cet-9877	16	43	to	to	PART
cet-9877	16	44	avoid	avoid	VERB
cet-9877	16	45	unsafe	unsafe	ADJ
cet-9877	16	46	operations	operation	NOUN
cet-9877	16	47	by	by	ADP
cet-9877	16	48	stipulating	stipulate	VERB
cet-9877	16	49	illegal	illegal	ADJ
cet-9877	16	50	strings	string	NOUN
cet-9877	16	51	,	,	PUNCT
cet-9877	16	52	etc	etc	X
cet-9877	16	53	.	.	X
cet-9877	17	1	a	a	DET
cet-9877	17	2	system	system	NOUN
cet-9877	17	3	model	model	NOUN
cet-9877	17	4	and	and	CCONJ
cet-9877	17	5	the	the	DET
cet-9877	17	6	corresponding	corresponding	ADJ
cet-9877	17	7	observable	observable	ADJ
cet-9877	17	8	event	event	NOUN
cet-9877	17	9	traces	trace	NOUN
cet-9877	17	10	(	(	PUNCT
cet-9877	17	11	oets	oet	NOUN
cet-9877	17	12	)	)	PUNCT
cet-9877	17	13	can	can	AUX
cet-9877	17	14	then	then	ADV
cet-9877	17	15	be	be	AUX
cet-9877	17	16	generated	generate	VERB
cet-9877	17	17	by	by	ADP
cet-9877	17	18	synchronizing	synchronize	VERB
cet-9877	17	19	all	all	DET
cet-9877	17	20	aforementioned	aforementioned	ADJ
cet-9877	17	21	automata	automata	NOUN
cet-9877	17	22	via	via	ADP
cet-9877	17	23	the	the	DET
cet-9877	17	24	standard	standard	ADJ
cet-9877	17	25	function	function	NOUN
cet-9877	17	26	of	of	ADP
cet-9877	17	27	free	free	ADJ
cet-9877	17	28	software	software	NOUN
cet-9877	17	29	supremica	supremica	ADJ
cet-9877	17	30	(	(	PUNCT
cet-9877	17	31	åkesson	åkesson	NOUN
cet-9877	17	32	et	et	PROPN
cet-9877	17	33	al	al	PROPN
cet-9877	17	34	.	.	PROPN
cet-9877	17	35	,	,	PUNCT
cet-9877	17	36	2006	2006	NUM
cet-9877	17	37	)	)	PUNCT
cet-9877	17	38	.	.	PUNCT
cet-9877	18	1	for	for	ADP
cet-9877	18	2	any	any	DET
cet-9877	18	3	practical	practical	ADJ
cet-9877	18	4	application	application	NOUN
cet-9877	18	5	,	,	PUNCT
cet-9877	18	6	one	one	NUM
cet-9877	18	7	or	or	CCONJ
cet-9877	18	8	more	more	ADJ
cet-9877	18	9	operating	operating	NOUN
cet-9877	18	10	procedures	procedure	NOUN
cet-9877	18	11	can	can	AUX
cet-9877	18	12	be	be	AUX
cet-9877	18	13	easily	easily	ADV
cet-9877	18	14	extracted	extract	VERB
cet-9877	18	15	from	from	ADP
cet-9877	18	16	these	these	DET
cet-9877	18	17	traces	trace	NOUN
cet-9877	18	18	and	and	CCONJ
cet-9877	18	19	formally	formally	ADV
cet-9877	18	20	summarized	summarize	VERB
cet-9877	18	21	with	with	ADP
cet-9877	18	22	sequential	sequential	ADJ
cet-9877	18	23	function	function	NOUN
cet-9877	18	24	charts	chart	NOUN
cet-9877	18	25	(	(	PUNCT
cet-9877	18	26	sfcs	sfcs	PROPN
cet-9877	18	27	)	)	PUNCT
cet-9877	18	28	.	.	PUNCT
cet-9877	19	1	the	the	DET
cet-9877	19	2	commercial	commercial	ADJ
cet-9877	19	3	package	package	NOUN
cet-9877	19	4	aspen	aspen	NOUN
cet-9877	19	5	plus	plus	CCONJ
cet-9877	19	6	dynamic	dynamic	NOUN
cet-9877	19	7	has	have	AUX
cet-9877	19	8	been	be	AUX
cet-9877	19	9	used	use	VERB
cet-9877	19	10	to	to	PART
cet-9877	19	11	validate	validate	VERB
cet-9877	19	12	these	these	DET
cet-9877	19	13	sfcs	sfc	NOUN
cet-9877	19	14	in	in	ADP
cet-9877	19	15	simulation	simulation	NOUN
cet-9877	19	16	studies	study	NOUN
cet-9877	19	17	.	.	PUNCT
cet-9877	20	1	a	a	DET
cet-9877	20	2	flash	flash	NOUN
cet-9877	20	3	start	start	NOUN
cet-9877	20	4	-	-	PUNCT
cet-9877	20	5	up	up	NOUN
cet-9877	20	6	example	example	NOUN
cet-9877	20	7	is	be	AUX
cet-9877	20	8	reported	report	VERB
cet-9877	20	9	in	in	ADP
cet-9877	20	10	this	this	DET
cet-9877	20	11	paper	paper	NOUN
cet-9877	20	12	to	to	PART
cet-9877	20	13	demonstrate	demonstrate	VERB
cet-9877	20	14	the	the	DET
cet-9877	20	15	effectiveness	effectiveness	NOUN
cet-9877	20	16	of	of	ADP
cet-9877	20	17	the	the	DET
cet-9877	20	18	proposed	propose	VERB
cet-9877	20	19	approach	approach	NOUN
cet-9877	20	20	.	.	PUNCT
cet-9877	21	1	2	2	X
cet-9877	21	2	.	.	X
cet-9877	21	3	untimed	untimed	PROPN
cet-9877	21	4	extended	extend	VERB
cet-9877	21	5	finite	finite	NOUN
cet-9877	21	6	automata	automata	NOUN
cet-9877	21	7	to	to	ADP
cet-9877	21	8	facilitating	facilitate	VERB
cet-9877	21	9	clear	clear	ADJ
cet-9877	21	10	description	description	NOUN
cet-9877	21	11	of	of	ADP
cet-9877	21	12	the	the	DET
cet-9877	21	13	proposed	propose	VERB
cet-9877	21	14	model	model	NOUN
cet-9877	21	15	construction	construction	NOUN
cet-9877	21	16	method	method	NOUN
cet-9877	21	17	,	,	PUNCT
cet-9877	21	18	a	a	DET
cet-9877	21	19	brief	brief	ADJ
cet-9877	21	20	review	review	NOUN
cet-9877	21	21	of	of	ADP
cet-9877	21	22	the	the	DET
cet-9877	21	23	automaton	automaton	NOUN
cet-9877	21	24	structure	structure	NOUN
cet-9877	21	25	is	be	AUX
cet-9877	21	26	first	first	ADV
cet-9877	21	27	given	give	VERB
cet-9877	21	28	here	here	ADV
cet-9877	21	29	.	.	PUNCT
cet-9877	22	1	specifically	specifically	ADV
cet-9877	22	2	,	,	PUNCT
cet-9877	22	3	a	a	DET
cet-9877	22	4	deterministic	deterministic	ADJ
cet-9877	22	5	untimed	untimed	ADJ
cet-9877	22	6	automaton	automaton	NOUN
cet-9877	22	7	can	can	AUX
cet-9877	22	8	be	be	AUX
cet-9877	22	9	viewed	view	VERB
cet-9877	22	10	as	as	ADP
cet-9877	22	11	a	a	DET
cet-9877	22	12	six	six	NUM
cet-9877	22	13	-	-	PUNCT
cet-9877	22	14	tuple	tuple	NOUN
cet-9877	22	15	:	:	PUNCT
cet-9877	22	16	(	(	PUNCT
cet-9877	22	17	)	)	PUNCT
cet-9877	22	18	0	0	NUM
cet-9877	22	19	,	,	PUNCT
cet-9877	22	20	,	,	PUNCT
cet-9877	22	21	,	,	PUNCT
cet-9877	22	22	,	,	PUNCT
cet-9877	22	23	,	,	PUNCT
cet-9877	22	24	ma	ma	PROPN
cet-9877	22	25	x	x	X
cet-9877	22	26	e	e	NOUN
cet-9877	22	27	f	f	PROPN
cet-9877	22	28	x	x	SYM
cet-9877	22	29	x=	x=	PROPN
cet-9877	23	1	σ	σ	PROPN
cet-9877	23	2	(	(	PUNCT
cet-9877	23	3	1	1	NUM
cet-9877	23	4	)	)	PUNCT
cet-9877	23	5	where	where	SCONJ
cet-9877	23	6	,	,	PUNCT
cet-9877	23	7	is	be	AUX
cet-9877	23	8	the	the	DET
cet-9877	23	9	set	set	NOUN
cet-9877	23	10	of	of	ADP
cet-9877	23	11	system	system	NOUN
cet-9877	23	12	states	state	NOUN
cet-9877	23	13	;	;	PUNCT
cet-9877	23	14	is	be	AUX
cet-9877	23	15	the	the	DET
cet-9877	23	16	event	event	NOUN
cet-9877	23	17	set	set	VERB
cet-9877	23	18	;	;	PUNCT
cet-9877	23	19	:	:	PUNCT
cet-9877	23	20	×	×	NOUN
cet-9877	23	21	→	→	PUNCT
cet-9877	23	22	represents	represent	VERB
cet-9877	23	23	the	the	DET
cet-9877	23	24	state	state	NOUN
cet-9877	23	25	transition	transition	NOUN
cet-9877	23	26	function	function	NOUN
cet-9877	23	27	;	;	PUNCT
cet-9877	23	28	:	:	PUNCT
cet-9877	23	29	→	→	SYM
cet-9877	23	30	2	2	NUM
cet-9877	23	31	denotes	denote	VERB
cet-9877	23	32	the	the	DET
cet-9877	23	33	active	active	ADJ
cet-9877	23	34	event	event	NOUN
cet-9877	23	35	function	function	NOUN
cet-9877	23	36	and	and	CCONJ
cet-9877	23	37	2	2	NUM
cet-9877	23	38	is	be	AUX
cet-9877	23	39	the	the	DET
cet-9877	23	40	power	power	NOUN
cet-9877	23	41	set	set	NOUN
cet-9877	23	42	of	of	ADP
cet-9877	23	43	(	(	PUNCT
cet-9877	23	44	i.e.	i.e.	X
cet-9877	23	45	,	,	PUNCT
cet-9877	23	46	the	the	DET
cet-9877	23	47	set	set	NOUN
cet-9877	23	48	of	of	ADP
cet-9877	23	49	all	all	DET
cet-9877	23	50	possible	possible	ADJ
cet-9877	23	51	subsets	subset	NOUN
cet-9877	23	52	of	of	ADP
cet-9877	23	53	)	)	PUNCT
cet-9877	23	54	;	;	PUNCT
cet-9877	23	55	∈	∈	PROPN
cet-9877	23	56	is	be	AUX
cet-9877	23	57	the	the	DET
cet-9877	23	58	initial	initial	ADJ
cet-9877	23	59	state	state	NOUN
cet-9877	23	60	;	;	PUNCT
cet-9877	23	61	⊂	⊂	PROPN
cet-9877	23	62	is	be	AUX
cet-9877	23	63	the	the	DET
cet-9877	23	64	set	set	NOUN
cet-9877	23	65	of	of	ADP
cet-9877	23	66	marked	mark	VERB
cet-9877	23	67	states	state	NOUN
cet-9877	23	68	.	.	PUNCT
cet-9877	24	1	the	the	DET
cet-9877	24	2	transition	transition	NOUN
cet-9877	24	3	function	function	NOUN
cet-9877	24	4	,	,	PUNCT
cet-9877	24	5	=	=	SYM
cet-9877	24	6	′	′	NUM
cet-9877	24	7	means	mean	VERB
cet-9877	24	8	that	that	SCONJ
cet-9877	24	9	a	a	DET
cet-9877	24	10	transition	transition	NOUN
cet-9877	24	11	from	from	ADP
cet-9877	24	12	state	state	NOUN
cet-9877	24	13	∈	∈	PROPN
cet-9877	24	14	to	to	ADP
cet-9877	24	15	another	another	DET
cet-9877	24	16	state	state	NOUN
cet-9877	24	17	′	′	NOUN
cet-9877	24	18	∈	∈	NOUN
cet-9877	24	19	is	be	AUX
cet-9877	24	20	caused	cause	VERB
cet-9877	24	21	by	by	ADP
cet-9877	24	22	event	event	NOUN
cet-9877	24	23	∈	∈	PROPN
cet-9877	24	24	,	,	PUNCT
cet-9877	24	25	while	while	SCONJ
cet-9877	24	26	the	the	DET
cet-9877	24	27	active	active	ADJ
cet-9877	24	28	event	event	NOUN
cet-9877	24	29	function	function	VERB
cet-9877	24	30	doi	doi	NOUN
cet-9877	24	31	:	:	PUNCT
cet-9877	24	32	10.3303	10.3303	NUM
cet-9877	24	33	/	/	SYM
cet-9877	24	34	cet1974112	cet1974112	NOUN
cet-9877	24	35	paper	paper	NOUN
cet-9877	24	36	received	receive	VERB
cet-9877	24	37	:	:	PUNCT
cet-9877	24	38	12	12	NUM
cet-9877	24	39	june	june	PROPN
cet-9877	24	40	2018	2018	NUM
cet-9877	24	41	;	;	PUNCT
cet-9877	24	42	revised	revise	VERB
cet-9877	24	43	:	:	PUNCT
cet-9877	24	44	15	15	NUM
cet-9877	24	45	october	october	PROPN
cet-9877	24	46	2018	2018	NUM
cet-9877	24	47	;	;	PUNCT
cet-9877	24	48	accepted	accept	VERB
cet-9877	24	49	:	:	PUNCT
cet-9877	24	50	3	3	NUM
cet-9877	24	51	april	april	PROPN
cet-9877	24	52	2019	2019	NUM
cet-9877	24	53	please	please	INTJ
cet-9877	24	54	cite	cite	VERB
cet-9877	24	55	this	this	DET
cet-9877	24	56	article	article	NOUN
cet-9877	24	57	as	as	ADP
cet-9877	24	58	:	:	PUNCT
cet-9877	24	59	chen	chen	PROPN
cet-9877	24	60	t.-y	t.-y	PROPN
cet-9877	24	61	.	.	PROPN
cet-9877	24	62	,	,	PUNCT
cet-9877	24	63	chang	chang	PROPN
cet-9877	24	64	c.-t	c.-t	PROPN
cet-9877	24	65	.	.	PUNCT
cet-9877	24	66	,	,	PUNCT
cet-9877	24	67	2019	2019	NUM
cet-9877	24	68	,	,	PUNCT
cet-9877	24	69	synthesis	synthesis	NOUN
cet-9877	24	70	and	and	CCONJ
cet-9877	24	71	validation	validation	NOUN
cet-9877	24	72	of	of	ADP
cet-9877	24	73	operating	operating	NOUN
cet-9877	24	74	procedures	procedure	NOUN
cet-9877	24	75	based	base	VERB
cet-9877	24	76	on	on	ADP
cet-9877	24	77	untimed	untimed	ADJ
cet-9877	24	78	automata	automata	PROPN
cet-9877	24	79	,	,	PUNCT
cet-9877	24	80	chemical	chemical	NOUN
cet-9877	24	81	engineering	engineering	NOUN
cet-9877	24	82	transactions	transaction	NOUN
cet-9877	24	83	,	,	PUNCT
cet-9877	24	84	74	74	NUM
cet-9877	24	85	,	,	PUNCT
cet-9877	24	86	667	667	NUM
cet-9877	24	87	-	-	SYM
cet-9877	24	88	672	672	NUM
cet-9877	24	89	doi:10.3303	doi:10.3303	NOUN
cet-9877	24	90	/	/	SYM
cet-9877	24	91	cet1974112	cet1974112	NOUN
cet-9877	25	1	667	667	NUM
cet-9877	25	2	σ	σ	NOUN
cet-9877	25	3	can	can	AUX
cet-9877	25	4	be	be	AUX
cet-9877	25	5	regarded	regard	VERB
cet-9877	25	6	as	as	ADP
cet-9877	25	7	the	the	DET
cet-9877	25	8	set	set	NOUN
cet-9877	25	9	of	of	ADP
cet-9877	25	10	active	active	ADJ
cet-9877	25	11	events	event	NOUN
cet-9877	25	12	at	at	ADP
cet-9877	25	13	state	state	NOUN
cet-9877	25	14	.	.	PUNCT
cet-9877	26	1	the	the	DET
cet-9877	26	2	sketch	sketch	NOUN
cet-9877	26	3	of	of	ADP
cet-9877	26	4	an	an	DET
cet-9877	26	5	example	example	NOUN
cet-9877	26	6	automaton	automaton	NOUN
cet-9877	26	7	can	can	AUX
cet-9877	26	8	be	be	AUX
cet-9877	26	9	found	find	VERB
cet-9877	26	10	in	in	ADP
cet-9877	26	11	figure	figure	NOUN
cet-9877	26	12	1	1	NUM
cet-9877	26	13	.	.	PUNCT
cet-9877	27	1	the	the	DET
cet-9877	27	2	circles	circle	NOUN
cet-9877	27	3	(	(	PUNCT
cet-9877	27	4	s0	s0	PROPN
cet-9877	27	5	,	,	PUNCT
cet-9877	27	6	s1	s1	PROPN
cet-9877	27	7	and	and	CCONJ
cet-9877	27	8	s2	s2	PROPN
cet-9877	27	9	)	)	PUNCT
cet-9877	27	10	are	be	AUX
cet-9877	27	11	referred	refer	VERB
cet-9877	27	12	to	to	ADP
cet-9877	27	13	as	as	ADP
cet-9877	27	14	places	place	NOUN
cet-9877	27	15	and	and	CCONJ
cet-9877	27	16	they	they	PRON
cet-9877	27	17	are	be	AUX
cet-9877	27	18	used	use	VERB
cet-9877	27	19	to	to	PART
cet-9877	27	20	represent	represent	VERB
cet-9877	27	21	system	system	NOUN
cet-9877	27	22	states	state	NOUN
cet-9877	27	23	,	,	PUNCT
cet-9877	27	24	while	while	SCONJ
cet-9877	27	25	the	the	DET
cet-9877	27	26	directed	direct	VERB
cet-9877	27	27	arcs	arcs	NOUN
cet-9877	27	28	denote	denote	VERB
cet-9877	27	29	events	event	NOUN
cet-9877	27	30	and	and	CCONJ
cet-9877	27	31	e1	e1	NOUN
cet-9877	27	32	,	,	PUNCT
cet-9877	27	33	e2	e2	PROPN
cet-9877	27	34	and	and	CCONJ
cet-9877	27	35	e3	e3	NOUN
cet-9877	27	36	are	be	AUX
cet-9877	27	37	their	their	PRON
cet-9877	27	38	labels	label	NOUN
cet-9877	27	39	.	.	PUNCT
cet-9877	28	1	the	the	DET
cet-9877	28	2	initial	initial	ADJ
cet-9877	28	3	state	state	NOUN
cet-9877	28	4	is	be	AUX
cet-9877	28	5	indicated	indicate	VERB
cet-9877	28	6	with	with	ADP
cet-9877	28	7	an	an	DET
cet-9877	28	8	input	input	NOUN
cet-9877	28	9	arrow	arrow	NOUN
cet-9877	28	10	and	and	CCONJ
cet-9877	28	11	the	the	DET
cet-9877	28	12	marked	mark	VERB
cet-9877	28	13	state	state	NOUN
cet-9877	28	14	is	be	AUX
cet-9877	28	15	darkened	darken	VERB
cet-9877	28	16	.	.	PUNCT
cet-9877	29	1	it	it	PRON
cet-9877	29	2	should	should	AUX
cet-9877	29	3	be	be	AUX
cet-9877	29	4	noted	note	VERB
cet-9877	29	5	the	the	DET
cet-9877	29	6	efa	efa	PROPN
cet-9877	29	7	is	be	AUX
cet-9877	29	8	an	an	DET
cet-9877	29	9	improved	improved	ADJ
cet-9877	29	10	version	version	NOUN
cet-9877	29	11	of	of	ADP
cet-9877	29	12	the	the	DET
cet-9877	29	13	aforementioned	aforementioned	ADJ
cet-9877	29	14	structure	structure	NOUN
cet-9877	29	15	.	.	PUNCT
cet-9877	30	1	specifically	specifically	ADV
cet-9877	30	2	,	,	PUNCT
cet-9877	30	3	each	each	DET
cet-9877	30	4	event	event	NOUN
cet-9877	30	5	in	in	ADP
cet-9877	30	6	efa	efa	PROPN
cet-9877	30	7	is	be	AUX
cet-9877	30	8	equipped	equip	VERB
cet-9877	30	9	with	with	ADP
cet-9877	30	10	two	two	NUM
cet-9877	30	11	extra	extra	ADJ
cet-9877	30	12	auxiliary	auxiliary	ADJ
cet-9877	30	13	elements	element	NOUN
cet-9877	30	14	,	,	PUNCT
cet-9877	30	15	i.e.	i.e.	X
cet-9877	30	16	,	,	PUNCT
cet-9877	30	17	variable	variable	ADJ
cet-9877	30	18	and	and	CCONJ
cet-9877	30	19	guard	guard	NOUN
cet-9877	30	20	,	,	PUNCT
cet-9877	30	21	and	and	CCONJ
cet-9877	30	22	these	these	DET
cet-9877	30	23	elements	element	NOUN
cet-9877	30	24	are	be	AUX
cet-9877	30	25	further	far	ADV
cet-9877	30	26	explained	explain	VERB
cet-9877	30	27	below	below	ADP
cet-9877	30	28	:	:	PUNCT
cet-9877	30	29			X
cet-9877	30	30	an	an	DET
cet-9877	30	31	integer	integer	NOUN
cet-9877	30	32	variable	variable	NOUN
cet-9877	30	33	(	(	PUNCT
cet-9877	30	34	with	with	ADP
cet-9877	30	35	user	user	NOUN
cet-9877	30	36	-	-	PUNCT
cet-9877	30	37	specified	specify	VERB
cet-9877	30	38	upper	upper	ADJ
cet-9877	30	39	and	and	CCONJ
cet-9877	30	40	lower	low	ADJ
cet-9877	30	41	bounds	bound	NOUN
cet-9877	30	42	)	)	PUNCT
cet-9877	30	43	can	can	AUX
cet-9877	30	44	be	be	AUX
cet-9877	30	45	used	use	VERB
cet-9877	30	46	to	to	PART
cet-9877	30	47	update	update	VERB
cet-9877	30	48	the	the	DET
cet-9877	30	49	equipment	equipment	NOUN
cet-9877	30	50	state	state	NOUN
cet-9877	30	51	after	after	ADP
cet-9877	30	52	completing	complete	VERB
cet-9877	30	53	an	an	DET
cet-9877	30	54	event	event	NOUN
cet-9877	30	55	-	-	PUNCT
cet-9877	30	56	driven	drive	VERB
cet-9877	30	57	transition	transition	NOUN
cet-9877	30	58	.	.	PUNCT
cet-9877	31	1	an	an	DET
cet-9877	31	2	example	example	NOUN
cet-9877	31	3	is	be	AUX
cet-9877	31	4	shown	show	VERB
cet-9877	31	5	in	in	ADP
cet-9877	31	6	figure	figure	NOUN
cet-9877	31	7	1	1	NUM
cet-9877	31	8	,	,	PUNCT
cet-9877	31	9	in	in	ADP
cet-9877	31	10	which	which	PRON
cet-9877	31	11	variable	variable	NOUN
cet-9877	31	12	a	a	PRON
cet-9877	31	13	is	be	AUX
cet-9877	31	14	updated	update	VERB
cet-9877	31	15	to	to	ADP
cet-9877	31	16	1	1	NUM
cet-9877	31	17	(	(	PUNCT
cet-9877	31	18	a	a	DET
cet-9877	31	19	=	=	NOUN
cet-9877	31	20	1	1	NUM
cet-9877	31	21	)	)	PUNCT
cet-9877	31	22	via	via	ADP
cet-9877	31	23	event	event	NOUN
cet-9877	31	24	e1	e1	PROPN
cet-9877	31	25	.	.	PROPN
cet-9877	31	26			PROPN
cet-9877	31	27	a	a	DET
cet-9877	31	28	guard	guard	NOUN
cet-9877	31	29	is	be	AUX
cet-9877	31	30	the	the	DET
cet-9877	31	31	sufficient	sufficient	ADJ
cet-9877	31	32	condition	condition	NOUN
cet-9877	31	33	of	of	ADP
cet-9877	31	34	the	the	DET
cet-9877	31	35	corresponding	correspond	VERB
cet-9877	31	36	state	state	NOUN
cet-9877	31	37	transition	transition	NOUN
cet-9877	31	38	.	.	PUNCT
cet-9877	32	1	let	let	VERB
cet-9877	32	2	us	we	PRON
cet-9877	32	3	again	again	ADV
cet-9877	32	4	consider	consider	VERB
cet-9877	32	5	figure	figure	NOUN
cet-9877	32	6	1	1	NUM
cet-9877	32	7	as	as	ADP
cet-9877	32	8	an	an	DET
cet-9877	32	9	example	example	NOUN
cet-9877	32	10	and	and	CCONJ
cet-9877	32	11	assume	assume	VERB
cet-9877	32	12	the	the	DET
cet-9877	32	13	initial	initial	ADJ
cet-9877	32	14	value	value	NOUN
cet-9877	32	15	of	of	ADP
cet-9877	32	16	variable	variable	NOUN
cet-9877	32	17	a	a	PRON
cet-9877	32	18	is	be	AUX
cet-9877	32	19	0	0	NUM
cet-9877	32	20	.	.	PUNCT
cet-9877	33	1	therefore	therefore	ADV
cet-9877	33	2	,	,	PUNCT
cet-9877	33	3	only	only	ADV
cet-9877	33	4	event	event	NOUN
cet-9877	33	5	e1	e1	NOUN
cet-9877	33	6	is	be	AUX
cet-9877	33	7	permissible	permissible	ADJ
cet-9877	33	8	at	at	ADP
cet-9877	33	9	the	the	DET
cet-9877	33	10	initial	initial	ADJ
cet-9877	33	11	state	state	NOUN
cet-9877	33	12	s0	s0	NOUN
cet-9877	33	13	due	due	ADP
cet-9877	33	14	to	to	ADP
cet-9877	33	15	its	its	PRON
cet-9877	33	16	guard	guard	NOUN
cet-9877	33	17	“	"	PUNCT
cet-9877	33	18	a	a	DET
cet-9877	33	19	=	=	NOUN
cet-9877	33	20	=	=	SYM
cet-9877	33	21	0	0	NUM
cet-9877	33	22	”	"	PUNCT
cet-9877	33	23	and	and	CCONJ
cet-9877	33	24	,	,	PUNCT
cet-9877	33	25	when	when	SCONJ
cet-9877	33	26	s1	s1	PROPN
cet-9877	33	27	is	be	AUX
cet-9877	33	28	reached	reach	VERB
cet-9877	33	29	after	after	ADP
cet-9877	33	30	state	state	NOUN
cet-9877	33	31	transition	transition	NOUN
cet-9877	33	32	,	,	PUNCT
cet-9877	33	33	variable	variable	NOUN
cet-9877	33	34	a	a	PRON
cet-9877	33	35	should	should	AUX
cet-9877	33	36	be	be	AUX
cet-9877	33	37	updated	update	VERB
cet-9877	33	38	to	to	ADP
cet-9877	33	39	1	1	NUM
cet-9877	33	40	.	.	PUNCT
cet-9877	34	1	figure	figure	NOUN
cet-9877	34	2	1	1	NUM
cet-9877	34	3	:	:	PUNCT
cet-9877	34	4	graphic	graphic	ADJ
cet-9877	34	5	representation	representation	NOUN
cet-9877	34	6	of	of	ADP
cet-9877	34	7	an	an	DET
cet-9877	34	8	automaton	automaton	NOUN
cet-9877	34	9	.	.	PUNCT
cet-9877	35	1	3	3	X
cet-9877	35	2	.	.	X
cet-9877	35	3	an	an	DET
cet-9877	35	4	illustrative	illustrative	ADJ
cet-9877	35	5	example	example	NOUN
cet-9877	35	6	for	for	ADP
cet-9877	35	7	illustration	illustration	NOUN
cet-9877	35	8	convenience	convenience	NOUN
cet-9877	35	9	,	,	PUNCT
cet-9877	35	10	let	let	VERB
cet-9877	35	11	us	we	PRON
cet-9877	35	12	consider	consider	VERB
cet-9877	35	13	the	the	DET
cet-9877	35	14	startup	startup	NOUN
cet-9877	35	15	operation	operation	NOUN
cet-9877	35	16	of	of	ADP
cet-9877	35	17	the	the	DET
cet-9877	35	18	continuous	continuous	ADJ
cet-9877	35	19	flash	flash	NOUN
cet-9877	35	20	process	process	NOUN
cet-9877	35	21	described	describe	VERB
cet-9877	35	22	in	in	ADP
cet-9877	35	23	the	the	DET
cet-9877	35	24	process	process	NOUN
cet-9877	35	25	flow	flow	NOUN
cet-9877	35	26	diagram	diagram	NOUN
cet-9877	35	27	(	(	PUNCT
cet-9877	35	28	pfd	pfd	PROPN
cet-9877	35	29	)	)	PUNCT
cet-9877	35	30	in	in	ADP
cet-9877	35	31	figure	figure	NOUN
cet-9877	35	32	2	2	NUM
cet-9877	35	33	.	.	PUNCT
cet-9877	36	1	in	in	ADP
cet-9877	36	2	this	this	DET
cet-9877	36	3	system	system	NOUN
cet-9877	36	4	,	,	PUNCT
cet-9877	36	5	there	there	PRON
cet-9877	36	6	are	be	VERB
cet-9877	36	7	four	four	NUM
cet-9877	36	8	pid	pid	NOUN
cet-9877	36	9	controllers	controller	NOUN
cet-9877	36	10	(	(	PUNCT
cet-9877	36	11	fc01	fc01	PROPN
cet-9877	36	12	,	,	PUNCT
cet-9877	36	13	tc01	tc01	PROPN
cet-9877	36	14	,	,	PUNCT
cet-9877	36	15	pc01	pc01	PROPN
cet-9877	36	16	and	and	CCONJ
cet-9877	36	17	lc01	lc01	PROPN
cet-9877	36	18	)	)	PUNCT
cet-9877	36	19	for	for	ADP
cet-9877	36	20	controlling	control	VERB
cet-9877	36	21	the	the	DET
cet-9877	36	22	feed	feed	NOUN
cet-9877	36	23	rate	rate	NOUN
cet-9877	36	24	,	,	PUNCT
cet-9877	36	25	the	the	DET
cet-9877	36	26	temperature	temperature	NOUN
cet-9877	36	27	,	,	PUNCT
cet-9877	36	28	the	the	DET
cet-9877	36	29	vapor	vapor	NOUN
cet-9877	36	30	pressure	pressure	NOUN
cet-9877	36	31	and	and	CCONJ
cet-9877	36	32	the	the	DET
cet-9877	36	33	liquid	liquid	ADJ
cet-9877	36	34	level	level	NOUN
cet-9877	36	35	in	in	ADP
cet-9877	36	36	flash	flash	NOUN
cet-9877	36	37	drum	drum	NOUN
cet-9877	36	38	,	,	PUNCT
cet-9877	36	39	respectively	respectively	ADV
cet-9877	36	40	.	.	PUNCT
cet-9877	37	1	the	the	DET
cet-9877	37	2	corresponding	correspond	VERB
cet-9877	37	3	actuators	actuator	NOUN
cet-9877	37	4	are	be	AUX
cet-9877	37	5	control	control	PROPN
cet-9877	37	6	valves	valve	NOUN
cet-9877	37	7	vin	vin	PROPN
cet-9877	37	8	,	,	PUNCT
cet-9877	37	9	vlps	vlps	VERB
cet-9877	37	10	,	,	PUNCT
cet-9877	37	11	vvap	vvap	NOUN
cet-9877	37	12	and	and	CCONJ
cet-9877	37	13	vliq	vliq	ADV
cet-9877	37	14	.	.	PUNCT
cet-9877	38	1	it	it	PRON
cet-9877	38	2	is	be	AUX
cet-9877	38	3	assumed	assume	VERB
cet-9877	38	4	that	that	SCONJ
cet-9877	38	5	,	,	PUNCT
cet-9877	38	6	at	at	ADP
cet-9877	38	7	steady	steady	ADJ
cet-9877	38	8	state	state	NOUN
cet-9877	38	9	,	,	PUNCT
cet-9877	38	10	the	the	DET
cet-9877	38	11	feed	feed	NOUN
cet-9877	38	12	is	be	AUX
cet-9877	38	13	a	a	DET
cet-9877	38	14	mixture	mixture	NOUN
cet-9877	38	15	of	of	ADP
cet-9877	38	16	30	30	NUM
cet-9877	38	17	wt%	wt%	ADJ
cet-9877	38	18	water	water	NOUN
cet-9877	38	19	and	and	CCONJ
cet-9877	38	20	70	70	NUM
cet-9877	38	21	wt%	wt%	ADJ
cet-9877	38	22	methanol	methanol	NOUN
cet-9877	38	23	and	and	CCONJ
cet-9877	38	24	its	its	PRON
cet-9877	38	25	flowrate	flowrate	ADJ
cet-9877	38	26	,	,	PUNCT
cet-9877	38	27	temperature	temperature	NOUN
cet-9877	38	28	and	and	CCONJ
cet-9877	38	29	pressure	pressure	NOUN
cet-9877	38	30	are	be	AUX
cet-9877	38	31	kept	keep	VERB
cet-9877	38	32	at	at	ADP
cet-9877	38	33	26000	26000	NUM
cet-9877	38	34	kg	kg	NOUN
cet-9877	38	35	/	/	SYM
cet-9877	38	36	hr	hr	NOUN
cet-9877	38	37	,	,	PUNCT
cet-9877	38	38	20	20	NUM
cet-9877	38	39	℃	℃	PROPN
cet-9877	38	40	and	and	CCONJ
cet-9877	38	41	1.1	1.1	NUM
cet-9877	38	42	bar	bar	NOUN
cet-9877	38	43	,	,	PUNCT
cet-9877	38	44	respectively	respectively	ADV
cet-9877	38	45	.	.	PUNCT
cet-9877	39	1	it	it	PRON
cet-9877	39	2	is	be	AUX
cet-9877	39	3	also	also	ADV
cet-9877	39	4	assumed	assume	VERB
cet-9877	39	5	that	that	SCONJ
cet-9877	39	6	,	,	PUNCT
cet-9877	39	7	initially	initially	ADV
cet-9877	39	8	,	,	PUNCT
cet-9877	39	9	all	all	DET
cet-9877	39	10	valves	valve	NOUN
cet-9877	39	11	are	be	AUX
cet-9877	39	12	closed	closed	ADJ
cet-9877	39	13	,	,	PUNCT
cet-9877	39	14	all	all	DET
cet-9877	39	15	controllers	controller	NOUN
cet-9877	39	16	are	be	AUX
cet-9877	39	17	on	on	ADP
cet-9877	39	18	manual	manual	NOUN
cet-9877	39	19	and	and	CCONJ
cet-9877	39	20	the	the	DET
cet-9877	39	21	flash	flash	NOUN
cet-9877	39	22	drum	drum	NOUN
cet-9877	39	23	is	be	AUX
cet-9877	39	24	empty	empty	ADJ
cet-9877	39	25	and	and	CCONJ
cet-9877	39	26	at	at	ADP
cet-9877	39	27	room	room	NOUN
cet-9877	39	28	temperature	temperature	NOUN
cet-9877	39	29	.	.	PUNCT
cet-9877	40	1	finally	finally	ADV
cet-9877	40	2	,	,	PUNCT
cet-9877	40	3	it	it	PRON
cet-9877	40	4	is	be	AUX
cet-9877	40	5	required	require	VERB
cet-9877	40	6	that	that	SCONJ
cet-9877	40	7	the	the	DET
cet-9877	40	8	concentration	concentration	NOUN
cet-9877	40	9	of	of	ADP
cet-9877	40	10	methanol	methanol	NOUN
cet-9877	40	11	in	in	ADP
cet-9877	40	12	the	the	DET
cet-9877	40	13	top	top	ADJ
cet-9877	40	14	product	product	NOUN
cet-9877	40	15	should	should	AUX
cet-9877	40	16	not	not	PART
cet-9877	40	17	be	be	AUX
cet-9877	40	18	lower	low	ADJ
cet-9877	40	19	than	than	ADP
cet-9877	40	20	87	87	NUM
cet-9877	40	21	wt%	wt%	ADJ
cet-9877	40	22	.	.	PUNCT
cet-9877	41	1	figure	figure	NOUN
cet-9877	41	2	2	2	NUM
cet-9877	41	3	:	:	PUNCT
cet-9877	41	4	pfd	pfd	NOUN
cet-9877	41	5	of	of	ADP
cet-9877	41	6	a	a	DET
cet-9877	41	7	continuous	continuous	ADJ
cet-9877	41	8	flash	flash	NOUN
cet-9877	41	9	process	process	NOUN
cet-9877	41	10	.	.	PUNCT
cet-9877	42	1	4	4	X
cet-9877	42	2	.	.	X
cet-9877	42	3	process	process	NOUN
cet-9877	42	4	structure	structure	NOUN
cet-9877	42	5	basically	basically	ADV
cet-9877	42	6	every	every	DET
cet-9877	42	7	identifiable	identifiable	ADJ
cet-9877	42	8	hardware	hardware	NOUN
cet-9877	42	9	item	item	NOUN
cet-9877	42	10	in	in	ADP
cet-9877	42	11	the	the	DET
cet-9877	42	12	pfd	pfd	PROPN
cet-9877	42	13	is	be	AUX
cet-9877	42	14	treated	treat	VERB
cet-9877	42	15	as	as	ADP
cet-9877	42	16	a	a	DET
cet-9877	42	17	component	component	NOUN
cet-9877	42	18	in	in	ADP
cet-9877	42	19	this	this	DET
cet-9877	42	20	study	study	NOUN
cet-9877	42	21	and	and	CCONJ
cet-9877	42	22	they	they	PRON
cet-9877	42	23	are	be	AUX
cet-9877	42	24	classified	classify	VERB
cet-9877	42	25	into	into	ADP
cet-9877	42	26	a	a	DET
cet-9877	42	27	5	5	NUM
cet-9877	42	28	-	-	PUNCT
cet-9877	42	29	level	level	NOUN
cet-9877	42	30	hierarchy	hierarchy	NOUN
cet-9877	42	31	according	accord	VERB
cet-9877	42	32	to	to	PART
cet-9877	42	33	figure	figure	VERB
cet-9877	42	34	3	3	NUM
cet-9877	42	35	below	below	ADV
cet-9877	42	36	.	.	PUNCT
cet-9877	43	1	the	the	DET
cet-9877	43	2	top	top	ADJ
cet-9877	43	3	-	-	PUNCT
cet-9877	43	4	level	level	NOUN
cet-9877	43	5	component	component	NOUN
cet-9877	43	6	,	,	PUNCT
cet-9877	43	7	i.e.	i.e.	X
cet-9877	43	8	,	,	PUNCT
cet-9877	43	9	supervisor	supervisor	NOUN
cet-9877	43	10	,	,	PUNCT
cet-9877	43	11	is	be	AUX
cet-9877	43	12	usually	usually	ADV
cet-9877	43	13	a	a	DET
cet-9877	43	14	programmable	programmable	ADJ
cet-9877	43	15	logic	logic	NOUN
cet-9877	43	16	controller	controller	NOUN
cet-9877	43	17	(	(	PUNCT
cet-9877	43	18	plc	plc	PROPN
cet-9877	43	19	)	)	PUNCT
cet-9877	43	20	or	or	CCONJ
cet-9877	43	21	human	human	ADJ
cet-9877	43	22	operator	operator	NOUN
cet-9877	43	23	;	;	PUNCT
cet-9877	43	24	the	the	DET
cet-9877	43	25	pid	pid	NOUN
cet-9877	43	26	controllers	controller	NOUN
cet-9877	43	27	and	and	CCONJ
cet-9877	43	28	actuators	actuator	NOUN
cet-9877	43	29	are	be	AUX
cet-9877	43	30	classified	classify	VERB
cet-9877	43	31	as	as	ADP
cet-9877	43	32	the	the	DET
cet-9877	43	33	second	second	ADJ
cet-9877	43	34	-	-	PUNCT
cet-9877	43	35	level	level	NOUN
cet-9877	43	36	components	component	NOUN
cet-9877	43	37	;	;	PUNCT
cet-9877	43	38	the	the	DET
cet-9877	43	39	material	material	NOUN
cet-9877	43	40	and	and	CCONJ
cet-9877	43	41	energy	energy	NOUN
cet-9877	43	42	flows	flow	NOUN
cet-9877	43	43	surrounding	surround	VERB
cet-9877	43	44	each	each	DET
cet-9877	43	45	unit	unit	NOUN
cet-9877	43	46	in	in	ADP
cet-9877	43	47	the	the	DET
cet-9877	43	48	subsequent	subsequent	ADJ
cet-9877	43	49	level	level	NOUN
cet-9877	43	50	are	be	AUX
cet-9877	43	51	viewed	view	VERB
cet-9877	43	52	as	as	ADP
cet-9877	43	53	the	the	DET
cet-9877	43	54	third	third	ADJ
cet-9877	43	55	-	-	PUNCT
cet-9877	43	56	level	level	NOUN
cet-9877	43	57	components	component	NOUN
cet-9877	43	58	;	;	PUNCT
cet-9877	43	59	every	every	DET
cet-9877	43	60	processing	processing	NOUN
cet-9877	43	61	unit	unit	NOUN
cet-9877	43	62	,	,	PUNCT
cet-9877	43	63	such	such	ADJ
cet-9877	43	64	as	as	ADP
cet-9877	43	65	the	the	DET
cet-9877	43	66	flash	flash	NOUN
cet-9877	43	67	drum	drum	NOUN
cet-9877	43	68	,	,	PUNCT
cet-9877	43	69	is	be	AUX
cet-9877	43	70	regarded	regard	VERB
cet-9877	43	71	as	as	ADP
cet-9877	43	72	a	a	DET
cet-9877	43	73	fourth	fourth	ADJ
cet-9877	43	74	-	-	PUNCT
cet-9877	43	75	level	level	NOUN
cet-9877	43	76	component	component	NOUN
cet-9877	43	77	;	;	PUNCT
cet-9877	43	78	all	all	DET
cet-9877	43	79	online	online	ADJ
cet-9877	43	80	sensors	sensor	NOUN
cet-9877	43	81	(	(	PUNCT
cet-9877	43	82	i.e.	i.e.	X
cet-9877	43	83	,	,	PUNCT
cet-9877	43	84	ft01	ft01	PROPN
cet-9877	43	85	,	,	PUNCT
cet-9877	43	86	tt01	tt01	PROPN
cet-9877	43	87	,	,	PUNCT
cet-9877	43	88	pt01	pt01	PROPN
cet-9877	43	89	and	and	CCONJ
cet-9877	43	90	lt01	lt01	PROPN
cet-9877	43	91	in	in	ADP
cet-9877	43	92	figure	figure	NOUN
cet-9877	43	93	2	2	NUM
cet-9877	43	94	)	)	PUNCT
cet-9877	43	95	are	be	AUX
cet-9877	43	96	grouped	group	VERB
cet-9877	43	97	into	into	ADP
cet-9877	43	98	level	level	NOUN
cet-9877	43	99	5	5	NUM
cet-9877	43	100	.	.	NUM
cet-9877	43	101	668	668	NUM
cet-9877	43	102	figure	figure	NOUN
cet-9877	43	103	3	3	NUM
cet-9877	43	104	:	:	PUNCT
cet-9877	43	105	hierarchical	hierarchical	ADJ
cet-9877	43	106	structure	structure	NOUN
cet-9877	43	107	of	of	ADP
cet-9877	43	108	a	a	DET
cet-9877	43	109	chemical	chemical	NOUN
cet-9877	43	110	process	process	NOUN
cet-9877	43	111	.	.	PUNCT
cet-9877	44	1	5	5	X
cet-9877	44	2	.	.	X
cet-9877	44	3	component	component	NOUN
cet-9877	44	4	model	model	NOUN
cet-9877	44	5	every	every	DET
cet-9877	44	6	component	component	NOUN
cet-9877	44	7	in	in	ADP
cet-9877	44	8	a	a	DET
cet-9877	44	9	given	give	VERB
cet-9877	44	10	process	process	NOUN
cet-9877	44	11	is	be	AUX
cet-9877	44	12	modelled	model	VERB
cet-9877	44	13	with	with	ADP
cet-9877	44	14	an	an	DET
cet-9877	44	15	automaton	automaton	NOUN
cet-9877	44	16	in	in	ADP
cet-9877	44	17	this	this	DET
cet-9877	44	18	study	study	NOUN
cet-9877	44	19	.	.	PUNCT
cet-9877	45	1	to	to	PART
cet-9877	45	2	build	build	VERB
cet-9877	45	3	such	such	DET
cet-9877	45	4	a	a	DET
cet-9877	45	5	model	model	NOUN
cet-9877	45	6	for	for	ADP
cet-9877	45	7	any	any	DET
cet-9877	45	8	component	component	NOUN
cet-9877	45	9	,	,	PUNCT
cet-9877	45	10	all	all	DET
cet-9877	45	11	its	its	PRON
cet-9877	45	12	normal	normal	ADJ
cet-9877	45	13	and	and	CCONJ
cet-9877	45	14	failed	fail	VERB
cet-9877	45	15	states	state	NOUN
cet-9877	45	16	should	should	AUX
cet-9877	45	17	be	be	AUX
cet-9877	45	18	first	first	ADV
cet-9877	45	19	enumerated	enumerate	VERB
cet-9877	45	20	and	and	CCONJ
cet-9877	45	21	represented	represent	VERB
cet-9877	45	22	with	with	ADP
cet-9877	45	23	distinct	distinct	ADJ
cet-9877	45	24	places	place	NOUN
cet-9877	45	25	.	.	PUNCT
cet-9877	46	1	the	the	DET
cet-9877	46	2	initial	initial	ADJ
cet-9877	46	3	state	state	NOUN
cet-9877	46	4	should	should	AUX
cet-9877	46	5	also	also	ADV
cet-9877	46	6	be	be	AUX
cet-9877	46	7	selected	select	VERB
cet-9877	46	8	and	and	CCONJ
cet-9877	46	9	the	the	DET
cet-9877	46	10	corresponding	corresponding	ADJ
cet-9877	46	11	place	place	NOUN
cet-9877	46	12	indicated	indicate	VERB
cet-9877	46	13	with	with	ADP
cet-9877	46	14	an	an	DET
cet-9877	46	15	incoming	incoming	ADJ
cet-9877	46	16	arrow	arrow	NOUN
cet-9877	46	17	,	,	PUNCT
cet-9877	46	18	but	but	CCONJ
cet-9877	46	19	there	there	PRON
cet-9877	46	20	are	be	VERB
cet-9877	46	21	no	no	DET
cet-9877	46	22	needs	need	NOUN
cet-9877	46	23	to	to	PART
cet-9877	46	24	assign	assign	VERB
cet-9877	46	25	the	the	DET
cet-9877	46	26	marked	mark	VERB
cet-9877	46	27	states	state	NOUN
cet-9877	46	28	in	in	ADP
cet-9877	46	29	the	the	DET
cet-9877	46	30	component	component	NOUN
cet-9877	46	31	model	model	NOUN
cet-9877	46	32	.	.	PUNCT
cet-9877	47	1	all	all	DET
cet-9877	47	2	normal	normal	ADJ
cet-9877	47	3	and	and	CCONJ
cet-9877	47	4	failure	failure	NOUN
cet-9877	47	5	events	event	NOUN
cet-9877	47	6	that	that	PRON
cet-9877	47	7	facilitate	facilitate	VERB
cet-9877	47	8	state	state	NOUN
cet-9877	47	9	transitions	transition	NOUN
cet-9877	47	10	should	should	AUX
cet-9877	47	11	then	then	ADV
cet-9877	47	12	be	be	AUX
cet-9877	47	13	identified	identify	VERB
cet-9877	47	14	and	and	CCONJ
cet-9877	47	15	each	each	PRON
cet-9877	47	16	represented	represent	VERB
cet-9877	47	17	with	with	ADP
cet-9877	47	18	a	a	DET
cet-9877	47	19	directed	direct	VERB
cet-9877	47	20	arc	arc	NOUN
cet-9877	47	21	between	between	ADP
cet-9877	47	22	the	the	DET
cet-9877	47	23	input	input	NOUN
cet-9877	47	24	and	and	CCONJ
cet-9877	47	25	output	output	NOUN
cet-9877	47	26	places	place	NOUN
cet-9877	47	27	.	.	PUNCT
cet-9877	48	1	finally	finally	ADV
cet-9877	48	2	,	,	PUNCT
cet-9877	48	3	the	the	DET
cet-9877	48	4	guard(s	guard(s	NOUN
cet-9877	48	5	)	)	PUNCT
cet-9877	48	6	of	of	ADP
cet-9877	48	7	every	every	DET
cet-9877	48	8	event	event	NOUN
cet-9877	48	9	and	and	CCONJ
cet-9877	48	10	the	the	DET
cet-9877	48	11	resulting	result	VERB
cet-9877	48	12	variable	variable	ADJ
cet-9877	48	13	value(s	value(s	NOUN
cet-9877	48	14	)	)	PUNCT
cet-9877	48	15	should	should	AUX
cet-9877	48	16	be	be	AUX
cet-9877	48	17	added	add	VERB
cet-9877	48	18	on	on	ADP
cet-9877	48	19	the	the	DET
cet-9877	48	20	corresponding	corresponding	ADJ
cet-9877	48	21	arc	arc	NOUN
cet-9877	48	22	.	.	PUNCT
cet-9877	49	1	as	as	ADP
cet-9877	49	2	an	an	DET
cet-9877	49	3	example	example	NOUN
cet-9877	49	4	,	,	PUNCT
cet-9877	49	5	the	the	DET
cet-9877	49	6	component	component	NOUN
cet-9877	49	7	model	model	NOUN
cet-9877	49	8	of	of	ADP
cet-9877	49	9	control	control	NOUN
cet-9877	49	10	valve	valve	NOUN
cet-9877	49	11	vin	vin	NOUN
cet-9877	49	12	is	be	AUX
cet-9877	49	13	presented	present	VERB
cet-9877	49	14	in	in	ADP
cet-9877	49	15	figure	figure	NOUN
cet-9877	49	16	4	4	NUM
cet-9877	49	17	.	.	PUNCT
cet-9877	49	18	figure	figure	VERB
cet-9877	49	19	4	4	NUM
cet-9877	49	20	:	:	PUNCT
cet-9877	49	21	component	component	NOUN
cet-9877	49	22	model	model	NOUN
cet-9877	49	23	of	of	ADP
cet-9877	49	24	control	control	NOUN
cet-9877	49	25	valve	valve	NOUN
cet-9877	49	26	.	.	PUNCT
cet-9877	50	1	6	6	X
cet-9877	50	2	.	.	X
cet-9877	50	3	path	path	NOUN
cet-9877	50	4	explosion	explosion	NOUN
cet-9877	50	5	intuitively	intuitively	ADV
cet-9877	50	6	,	,	PUNCT
cet-9877	50	7	the	the	DET
cet-9877	50	8	system	system	NOUN
cet-9877	50	9	model	model	NOUN
cet-9877	50	10	for	for	ADP
cet-9877	50	11	the	the	DET
cet-9877	50	12	flash	flash	NOUN
cet-9877	50	13	startup	startup	NOUN
cet-9877	50	14	process	process	NOUN
cet-9877	50	15	can	can	AUX
cet-9877	50	16	be	be	AUX
cet-9877	50	17	constructed	construct	VERB
cet-9877	50	18	by	by	ADP
cet-9877	50	19	synchronizing	synchronize	VERB
cet-9877	50	20	all	all	DET
cet-9877	50	21	aforementioned	aforementioned	ADJ
cet-9877	50	22	automata	automata	NOUN
cet-9877	50	23	with	with	ADP
cet-9877	50	24	an	an	DET
cet-9877	50	25	automaton	automaton	NOUN
cet-9877	50	26	that	that	PRON
cet-9877	50	27	specifies	specify	VERB
cet-9877	50	28	the	the	DET
cet-9877	50	29	final	final	ADJ
cet-9877	50	30	target	target	NOUN
cet-9877	50	31	of	of	ADP
cet-9877	50	32	operation	operation	NOUN
cet-9877	50	33	(	(	PUNCT
cet-9877	50	34	see	see	VERB
cet-9877	50	35	figure	figure	NOUN
cet-9877	50	36	5	5	NUM
cet-9877	50	37	)	)	PUNCT
cet-9877	50	38	.	.	PUNCT
cet-9877	51	1	since	since	SCONJ
cet-9877	51	2	only	only	ADV
cet-9877	51	3	the	the	DET
cet-9877	51	4	generic	generic	ADJ
cet-9877	51	5	engineering	engineering	NOUN
cet-9877	51	6	knowledge	knowledge	NOUN
cet-9877	51	7	is	be	AUX
cet-9877	51	8	utilized	utilize	VERB
cet-9877	51	9	to	to	PART
cet-9877	51	10	build	build	VERB
cet-9877	51	11	the	the	DET
cet-9877	51	12	component	component	NOUN
cet-9877	51	13	models	model	NOUN
cet-9877	51	14	,	,	PUNCT
cet-9877	51	15	an	an	DET
cet-9877	51	16	overwhelmingly	overwhelmingly	ADV
cet-9877	51	17	large	large	ADJ
cet-9877	51	18	number	number	NOUN
cet-9877	51	19	of	of	ADP
cet-9877	51	20	paths	path	NOUN
cet-9877	51	21	may	may	AUX
cet-9877	51	22	be	be	AUX
cet-9877	51	23	extracted	extract	VERB
cet-9877	51	24	from	from	ADP
cet-9877	51	25	this	this	DET
cet-9877	51	26	integrated	integrate	VERB
cet-9877	51	27	automaton	automaton	NOUN
cet-9877	51	28	even	even	ADV
cet-9877	51	29	when	when	SCONJ
cet-9877	51	30	the	the	DET
cet-9877	51	31	system	system	NOUN
cet-9877	51	32	dynamics	dynamic	NOUN
cet-9877	51	33	is	be	AUX
cet-9877	51	34	moderately	moderately	ADV
cet-9877	51	35	complex	complex	ADJ
cet-9877	51	36	.	.	PUNCT
cet-9877	52	1	figure	figure	NOUN
cet-9877	52	2	5	5	NUM
cet-9877	52	3	:	:	PUNCT
cet-9877	52	4	final	final	ADJ
cet-9877	52	5	target	target	NOUN
cet-9877	52	6	of	of	ADP
cet-9877	52	7	flash	flash	NOUN
cet-9877	52	8	startup	startup	NOUN
cet-9877	52	9	operation	operation	NOUN
cet-9877	52	10	.	.	PUNCT
cet-9877	53	1	669	669	NUM
cet-9877	53	2	in	in	ADP
cet-9877	53	3	particular	particular	ADJ
cet-9877	53	4	,	,	PUNCT
cet-9877	53	5	the	the	DET
cet-9877	53	6	aforementioned	aforementioned	ADJ
cet-9877	53	7	synchronization	synchronization	NOUN
cet-9877	53	8	operation	operation	NOUN
cet-9877	53	9	yielded	yield	VERB
cet-9877	53	10	the	the	DET
cet-9877	53	11	complicated	complicated	ADJ
cet-9877	53	12	path	path	NOUN
cet-9877	53	13	network	network	NOUN
cet-9877	53	14	in	in	ADP
cet-9877	53	15	figure	figure	NOUN
cet-9877	53	16	6	6	NUM
cet-9877	53	17	for	for	ADP
cet-9877	53	18	the	the	DET
cet-9877	53	19	flash	flash	NOUN
cet-9877	53	20	startup	startup	NOUN
cet-9877	53	21	example	example	NOUN
cet-9877	53	22	.	.	PUNCT
cet-9877	54	1	since	since	SCONJ
cet-9877	54	2	the	the	DET
cet-9877	54	3	dynamic	dynamic	ADJ
cet-9877	54	4	behavior	behavior	NOUN
cet-9877	54	5	of	of	ADP
cet-9877	54	6	a	a	DET
cet-9877	54	7	mimo	mimo	PROPN
cet-9877	54	8	system	system	NOUN
cet-9877	54	9	can	can	AUX
cet-9877	54	10	not	not	PART
cet-9877	54	11	be	be	AUX
cet-9877	54	12	adequately	adequately	ADV
cet-9877	54	13	described	describe	VERB
cet-9877	54	14	with	with	ADP
cet-9877	54	15	the	the	DET
cet-9877	54	16	untimed	untimed	ADJ
cet-9877	54	17	automata	automata	NOUN
cet-9877	54	18	developed	develop	VERB
cet-9877	54	19	on	on	ADP
cet-9877	54	20	the	the	DET
cet-9877	54	21	basis	basis	NOUN
cet-9877	54	22	of	of	ADP
cet-9877	54	23	qualitative	qualitative	ADJ
cet-9877	54	24	information	information	NOUN
cet-9877	54	25	,	,	PUNCT
cet-9877	54	26	this	this	DET
cet-9877	54	27	network	network	NOUN
cet-9877	54	28	consists	consist	VERB
cet-9877	54	29	of	of	ADP
cet-9877	54	30	not	not	PART
cet-9877	54	31	only	only	ADV
cet-9877	54	32	one	one	NUM
cet-9877	54	33	or	or	CCONJ
cet-9877	54	34	more	more	ADV
cet-9877	54	35	feasible	feasible	ADJ
cet-9877	54	36	path	path	NOUN
cet-9877	54	37	but	but	CCONJ
cet-9877	54	38	also	also	ADV
cet-9877	54	39	an	an	DET
cet-9877	54	40	extremely	extremely	ADV
cet-9877	54	41	large	large	ADJ
cet-9877	54	42	number	number	NOUN
cet-9877	54	43	of	of	ADP
cet-9877	54	44	unnecessary	unnecessary	ADJ
cet-9877	54	45	and	and	CCONJ
cet-9877	54	46	impractical	impractical	ADJ
cet-9877	54	47	scenarios	scenario	NOUN
cet-9877	54	48	.	.	PUNCT
cet-9877	55	1	in	in	ADP
cet-9877	55	2	other	other	ADJ
cet-9877	55	3	words	word	NOUN
cet-9877	55	4	,	,	PUNCT
cet-9877	55	5	some	some	PRON
cet-9877	55	6	of	of	ADP
cet-9877	55	7	the	the	DET
cet-9877	55	8	paths	path	NOUN
cet-9877	55	9	generated	generate	VERB
cet-9877	55	10	by	by	ADP
cet-9877	55	11	supremica	supremica	PROPN
cet-9877	55	12	may	may	AUX
cet-9877	55	13	not	not	PART
cet-9877	55	14	be	be	AUX
cet-9877	55	15	real	real	ADJ
cet-9877	55	16	and	and	CCONJ
cet-9877	55	17	,	,	PUNCT
cet-9877	55	18	furthermore	furthermore	ADV
cet-9877	55	19	,	,	PUNCT
cet-9877	55	20	the	the	DET
cet-9877	55	21	operationally	operationally	ADV
cet-9877	55	22	infeasible	infeasible	ADJ
cet-9877	55	23	deadlocks	deadlock	NOUN
cet-9877	55	24	and/or	and/or	CCONJ
cet-9877	55	25	livelocks	livelock	NOUN
cet-9877	55	26	may	may	AUX
cet-9877	55	27	even	even	ADV
cet-9877	55	28	be	be	AUX
cet-9877	55	29	present	present	ADJ
cet-9877	55	30	in	in	ADP
cet-9877	55	31	this	this	DET
cet-9877	55	32	unrealistic	unrealistic	ADJ
cet-9877	55	33	path	path	NOUN
cet-9877	55	34	network	network	NOUN
cet-9877	55	35	.	.	PUNCT
cet-9877	56	1	figure	figure	VERB
cet-9877	56	2	6	6	NUM
cet-9877	56	3	:	:	PUNCT
cet-9877	56	4	path	path	NOUN
cet-9877	56	5	explosion	explosion	NOUN
cet-9877	56	6	.	.	PUNCT
cet-9877	57	1	7	7	X
cet-9877	57	2	.	.	NOUN
cet-9877	57	3	intrinsic	intrinsic	ADJ
cet-9877	57	4	stages	stage	NOUN
cet-9877	57	5	and	and	CCONJ
cet-9877	57	6	their	their	PRON
cet-9877	57	7	control	control	NOUN
cet-9877	57	8	specifications	specification	NOUN
cet-9877	57	9	although	although	SCONJ
cet-9877	57	10	the	the	DET
cet-9877	57	11	final	final	ADJ
cet-9877	57	12	goal	goal	NOUN
cet-9877	57	13	of	of	ADP
cet-9877	57	14	an	an	DET
cet-9877	57	15	operation	operation	NOUN
cet-9877	57	16	is	be	AUX
cet-9877	57	17	usually	usually	ADV
cet-9877	57	18	unambiguously	unambiguously	ADV
cet-9877	57	19	given	give	VERB
cet-9877	57	20	,	,	PUNCT
cet-9877	57	21	this	this	DET
cet-9877	57	22	goal	goal	NOUN
cet-9877	57	23	can	can	AUX
cet-9877	57	24	only	only	ADV
cet-9877	57	25	be	be	AUX
cet-9877	57	26	reached	reach	VERB
cet-9877	57	27	via	via	ADP
cet-9877	57	28	a	a	DET
cet-9877	57	29	series	series	NOUN
cet-9877	57	30	of	of	ADP
cet-9877	57	31	stages	stage	NOUN
cet-9877	57	32	which	which	PRON
cet-9877	57	33	are	be	AUX
cet-9877	57	34	not	not	PART
cet-9877	57	35	explicitly	explicitly	ADV
cet-9877	57	36	specified	specify	VERB
cet-9877	57	37	a	a	DET
cet-9877	57	38	priori	priori	ADV
cet-9877	57	39	.	.	PUNCT
cet-9877	58	1	it	it	PRON
cet-9877	58	2	is	be	AUX
cet-9877	58	3	thus	thus	ADV
cet-9877	58	4	important	important	ADJ
cet-9877	58	5	to	to	PART
cet-9877	58	6	uncover	uncover	VERB
cet-9877	58	7	these	these	DET
cet-9877	58	8	intrinsic	intrinsic	ADJ
cet-9877	58	9	stages	stage	NOUN
cet-9877	58	10	and	and	CCONJ
cet-9877	58	11	identify	identify	VERB
cet-9877	58	12	their	their	PRON
cet-9877	58	13	unique	unique	ADJ
cet-9877	58	14	features	feature	NOUN
cet-9877	58	15	in	in	ADP
cet-9877	58	16	advance	advance	NOUN
cet-9877	58	17	.	.	PUNCT
cet-9877	59	1	generally	generally	ADV
cet-9877	59	2	speaking	speak	VERB
cet-9877	59	3	,	,	PUNCT
cet-9877	59	4	these	these	DET
cet-9877	59	5	features	feature	NOUN
cet-9877	59	6	may	may	AUX
cet-9877	59	7	include	include	VERB
cet-9877	59	8	:	:	PUNCT
cet-9877	59	9	(	(	PUNCT
cet-9877	59	10	1	1	X
cet-9877	59	11	)	)	PUNCT
cet-9877	59	12	material	material	NOUN
cet-9877	59	13	charging	charging	NOUN
cet-9877	59	14	,	,	PUNCT
cet-9877	59	15	(	(	PUNCT
cet-9877	59	16	2	2	X
cet-9877	59	17	)	)	PUNCT
cet-9877	59	18	material	material	NOUN
cet-9877	59	19	unloading	unloading	NOUN
cet-9877	59	20	,	,	PUNCT
cet-9877	59	21	(	(	PUNCT
cet-9877	59	22	3	3	X
cet-9877	59	23	)	)	PUNCT
cet-9877	59	24	reaction	reaction	NOUN
cet-9877	59	25	,	,	PUNCT
cet-9877	59	26	(	(	PUNCT
cet-9877	59	27	4	4	X
cet-9877	59	28	)	)	PUNCT
cet-9877	59	29	state	state	NOUN
cet-9877	59	30	transfer	transfer	NOUN
cet-9877	59	31	,	,	PUNCT
cet-9877	59	32	(	(	PUNCT
cet-9877	59	33	5	5	X
cet-9877	59	34	)	)	PUNCT
cet-9877	59	35	phase	phase	NOUN
cet-9877	59	36	change	change	NOUN
cet-9877	59	37	and	and	CCONJ
cet-9877	59	38	(	(	PUNCT
cet-9877	59	39	6	6	NUM
cet-9877	59	40	)	)	PUNCT
cet-9877	59	41	stable	stable	ADJ
cet-9877	59	42	operation	operation	NOUN
cet-9877	59	43	,	,	PUNCT
cet-9877	59	44	etc	etc	X
cet-9877	59	45	.	.	X
cet-9877	59	46	clearly	clearly	ADV
cet-9877	59	47	,	,	PUNCT
cet-9877	59	48	each	each	DET
cet-9877	59	49	stage	stage	NOUN
cet-9877	59	50	in	in	ADP
cet-9877	59	51	an	an	DET
cet-9877	59	52	operation	operation	NOUN
cet-9877	59	53	must	must	AUX
cet-9877	59	54	be	be	AUX
cet-9877	59	55	characterized	characterize	VERB
cet-9877	59	56	with	with	ADP
cet-9877	59	57	a	a	DET
cet-9877	59	58	unique	unique	ADJ
cet-9877	59	59	set	set	NOUN
cet-9877	59	60	of	of	ADP
cet-9877	59	61	features	feature	NOUN
cet-9877	59	62	.	.	PUNCT
cet-9877	60	1	for	for	ADP
cet-9877	60	2	illustration	illustration	NOUN
cet-9877	60	3	purpose	purpose	NOUN
cet-9877	60	4	,	,	PUNCT
cet-9877	60	5	let	let	VERB
cet-9877	60	6	us	we	PRON
cet-9877	60	7	revisit	revisit	VERB
cet-9877	60	8	the	the	DET
cet-9877	60	9	flash	flash	NOUN
cet-9877	60	10	startup	startup	NOUN
cet-9877	60	11	process	process	NOUN
cet-9877	60	12	.	.	PUNCT
cet-9877	61	1	in	in	ADP
cet-9877	61	2	the	the	DET
cet-9877	61	3	initial	initial	ADJ
cet-9877	61	4	stage	stage	NOUN
cet-9877	61	5	(	(	PUNCT
cet-9877	61	6	stage	stage	NOUN
cet-9877	61	7	1	1	NUM
cet-9877	61	8	)	)	PUNCT
cet-9877	61	9	,	,	PUNCT
cet-9877	61	10	it	it	PRON
cet-9877	61	11	is	be	AUX
cet-9877	61	12	necessary	necessary	ADJ
cet-9877	61	13	to	to	PART
cet-9877	61	14	place	place	VERB
cet-9877	61	15	a	a	DET
cet-9877	61	16	small	small	ADJ
cet-9877	61	17	quantity	quantity	NOUN
cet-9877	61	18	of	of	ADP
cet-9877	61	19	raw	raw	ADJ
cet-9877	61	20	material	material	NOUN
cet-9877	61	21	in	in	ADP
cet-9877	61	22	the	the	DET
cet-9877	61	23	flash	flash	NOUN
cet-9877	61	24	drum	drum	NOUN
cet-9877	61	25	and	and	CCONJ
cet-9877	61	26	allow	allow	VERB
cet-9877	61	27	the	the	DET
cet-9877	61	28	liquid	liquid	ADJ
cet-9877	61	29	level	level	NOUN
cet-9877	61	30	reaching	reach	VERB
cet-9877	61	31	a	a	DET
cet-9877	61	32	height	height	NOUN
cet-9877	61	33	which	which	PRON
cet-9877	61	34	is	be	AUX
cet-9877	61	35	safe	safe	ADJ
cet-9877	61	36	for	for	ADP
cet-9877	61	37	heating	heating	NOUN
cet-9877	61	38	.	.	PUNCT
cet-9877	62	1	in	in	ADP
cet-9877	62	2	the	the	DET
cet-9877	62	3	next	next	ADJ
cet-9877	62	4	stage	stage	NOUN
cet-9877	62	5	(	(	PUNCT
cet-9877	62	6	stage	stage	NOUN
cet-9877	62	7	2	2	NUM
cet-9877	62	8	)	)	PUNCT
cet-9877	62	9	,	,	PUNCT
cet-9877	62	10	the	the	DET
cet-9877	62	11	temperature	temperature	NOUN
cet-9877	62	12	and	and	CCONJ
cet-9877	62	13	pressure	pressure	NOUN
cet-9877	62	14	in	in	ADP
cet-9877	62	15	the	the	DET
cet-9877	62	16	drum	drum	NOUN
cet-9877	62	17	should	should	AUX
cet-9877	62	18	be	be	AUX
cet-9877	62	19	raised	raise	VERB
cet-9877	62	20	to	to	ADP
cet-9877	62	21	the	the	DET
cet-9877	62	22	set	set	NOUN
cet-9877	62	23	points	point	NOUN
cet-9877	62	24	and	and	CCONJ
cet-9877	62	25	the	the	DET
cet-9877	62	26	input	input	NOUN
cet-9877	62	27	and	and	CCONJ
cet-9877	62	28	output	output	NOUN
cet-9877	62	29	flow	flow	NOUN
cet-9877	62	30	rates	rate	NOUN
cet-9877	62	31	should	should	AUX
cet-9877	62	32	be	be	AUX
cet-9877	62	33	adjusted	adjust	VERB
cet-9877	62	34	to	to	ADP
cet-9877	62	35	the	the	DET
cet-9877	62	36	steady	steady	ADJ
cet-9877	62	37	-	-	PUNCT
cet-9877	62	38	state	state	NOUN
cet-9877	62	39	levels	level	NOUN
cet-9877	62	40	.	.	PUNCT
cet-9877	63	1	finally	finally	ADV
cet-9877	63	2	,	,	PUNCT
cet-9877	63	3	a	a	DET
cet-9877	63	4	stable	stable	ADJ
cet-9877	63	5	operation	operation	NOUN
cet-9877	63	6	should	should	AUX
cet-9877	63	7	be	be	AUX
cet-9877	63	8	maintained	maintain	VERB
cet-9877	63	9	automatically	automatically	ADV
cet-9877	63	10	with	with	ADP
cet-9877	63	11	the	the	DET
cet-9877	63	12	pid	pid	NOUN
cet-9877	63	13	controllers	controller	NOUN
cet-9877	63	14	in	in	ADP
cet-9877	63	15	stage	stage	NOUN
cet-9877	63	16	3	3	NUM
cet-9877	63	17	.	.	PUNCT
cet-9877	64	1	thus	thus	ADV
cet-9877	64	2	,	,	PUNCT
cet-9877	64	3	the	the	DET
cet-9877	64	4	feature	feature	NOUN
cet-9877	64	5	sets	set	NOUN
cet-9877	64	6	of	of	ADP
cet-9877	64	7	the	the	DET
cet-9877	64	8	above	above	ADJ
cet-9877	64	9	three	three	NUM
cet-9877	64	10	stages	stage	NOUN
cet-9877	64	11	may	may	AUX
cet-9877	64	12	be	be	AUX
cet-9877	64	13	listed	list	VERB
cet-9877	64	14	as	as	SCONJ
cet-9877	64	15	follows	follow	VERB
cet-9877	64	16	:	:	PUNCT
cet-9877	64	17	(	(	PUNCT
cet-9877	64	18	1	1	X
cet-9877	64	19	)	)	PUNCT
cet-9877	64	20	state	state	NOUN
cet-9877	64	21	transfer	transfer	NOUN
cet-9877	64	22	and	and	CCONJ
cet-9877	64	23	material	material	NOUN
cet-9877	64	24	charging	charging	NOUN
cet-9877	64	25	,	,	PUNCT
cet-9877	64	26	(	(	PUNCT
cet-9877	64	27	2	2	X
cet-9877	64	28	)	)	PUNCT
cet-9877	64	29	state	state	NOUN
cet-9877	64	30	transfer	transfer	NOUN
cet-9877	64	31	,	,	PUNCT
cet-9877	64	32	phase	phase	NOUN
cet-9877	64	33	change	change	NOUN
cet-9877	64	34	and	and	CCONJ
cet-9877	64	35	material	material	NOUN
cet-9877	64	36	charging	charging	NOUN
cet-9877	64	37	and	and	CCONJ
cet-9877	64	38	unloading	unloading	NOUN
cet-9877	64	39	,	,	PUNCT
cet-9877	64	40	and	and	CCONJ
cet-9877	64	41	(	(	PUNCT
cet-9877	64	42	3	3	X
cet-9877	64	43	)	)	PUNCT
cet-9877	64	44	stable	stable	ADJ
cet-9877	64	45	operation	operation	NOUN
cet-9877	64	46	.	.	PUNCT
cet-9877	65	1	all	all	DET
cet-9877	65	2	features	feature	NOUN
cet-9877	65	3	in	in	ADP
cet-9877	65	4	a	a	DET
cet-9877	65	5	stage	stage	NOUN
cet-9877	65	6	should	should	AUX
cet-9877	65	7	be	be	AUX
cet-9877	65	8	described	describe	VERB
cet-9877	65	9	with	with	ADP
cet-9877	65	10	the	the	DET
cet-9877	65	11	so	so	ADV
cet-9877	65	12	-	-	PUNCT
cet-9877	65	13	called	call	VERB
cet-9877	65	14	“	"	PUNCT
cet-9877	65	15	control	control	NOUN
cet-9877	65	16	specifications	specification	NOUN
cet-9877	65	17	”	"	PUNCT
cet-9877	65	18	and	and	CCONJ
cet-9877	65	19	the	the	DET
cet-9877	65	20	corresponding	corresponding	ADJ
cet-9877	65	21	automata	automata	NOUN
cet-9877	65	22	.	.	PUNCT
cet-9877	66	1	five	five	NUM
cet-9877	66	2	different	different	ADJ
cet-9877	66	3	types	type	NOUN
cet-9877	66	4	of	of	ADP
cet-9877	66	5	automata	automata	NOUN
cet-9877	66	6	may	may	AUX
cet-9877	66	7	be	be	AUX
cet-9877	66	8	constructed	construct	VERB
cet-9877	66	9	for	for	ADP
cet-9877	66	10	use	use	NOUN
cet-9877	66	11	to	to	PART
cet-9877	66	12	set	set	VERB
cet-9877	66	13	the	the	DET
cet-9877	66	14	target	target	NOUN
cet-9877	66	15	state	state	NOUN
cet-9877	66	16	(	(	PUNCT
cet-9877	66	17	type	type	NOUN
cet-9877	66	18	a	a	NOUN
cet-9877	66	19	)	)	PUNCT
cet-9877	66	20	,	,	PUNCT
cet-9877	66	21	to	to	PART
cet-9877	66	22	perform	perform	VERB
cet-9877	66	23	state	state	NOUN
cet-9877	66	24	splitting	splitting	NOUN
cet-9877	66	25	(	(	PUNCT
cet-9877	66	26	type	type	NOUN
cet-9877	66	27	b	b	NOUN
cet-9877	66	28	)	)	PUNCT
cet-9877	66	29	,	,	PUNCT
cet-9877	66	30	to	to	PART
cet-9877	66	31	impose	impose	VERB
cet-9877	66	32	a	a	DET
cet-9877	66	33	partial	partial	ADJ
cet-9877	66	34	sequence	sequence	NOUN
cet-9877	66	35	(	(	PUNCT
cet-9877	66	36	type	type	NOUN
cet-9877	66	37	c	c	NOUN
cet-9877	66	38	)	)	PUNCT
cet-9877	66	39	,	,	PUNCT
cet-9877	66	40	to	to	PART
cet-9877	66	41	suppress	suppress	VERB
cet-9877	66	42	an	an	DET
cet-9877	66	43	illegal	illegal	ADJ
cet-9877	66	44	substring	substring	NOUN
cet-9877	66	45	(	(	PUNCT
cet-9877	66	46	type	type	NOUN
cet-9877	66	47	d	d	NOUN
cet-9877	66	48	)	)	PUNCT
cet-9877	66	49	and	and	CCONJ
cet-9877	66	50	to	to	PART
cet-9877	66	51	ensure	ensure	VERB
cet-9877	66	52	alternation	alternation	NOUN
cet-9877	66	53	between	between	ADP
cet-9877	66	54	two	two	NUM
cet-9877	66	55	particular	particular	ADJ
cet-9877	66	56	events	event	NOUN
cet-9877	66	57	(	(	PUNCT
cet-9877	66	58	type	type	NOUN
cet-9877	66	59	e	e	NOUN
cet-9877	66	60	)	)	PUNCT
cet-9877	66	61	.	.	PUNCT
cet-9877	67	1	due	due	ADP
cet-9877	67	2	to	to	ADP
cet-9877	67	3	space	space	NOUN
cet-9877	67	4	limitation	limitation	NOUN
cet-9877	67	5	,	,	PUNCT
cet-9877	67	6	figures	figure	VERB
cet-9877	67	7	7	7	NUM
cet-9877	67	8	–	–	SYM
cet-9877	67	9	9	9	NUM
cet-9877	67	10	below	below	ADP
cet-9877	67	11	only	only	ADV
cet-9877	67	12	show	show	VERB
cet-9877	67	13	the	the	DET
cet-9877	67	14	automata	automata	NOUN
cet-9877	67	15	needed	need	VERB
cet-9877	67	16	for	for	ADP
cet-9877	67	17	depicting	depict	VERB
cet-9877	67	18	the	the	DET
cet-9877	67	19	control	control	NOUN
cet-9877	67	20	specifications	specification	NOUN
cet-9877	67	21	of	of	ADP
cet-9877	67	22	stage	stage	NOUN
cet-9877	67	23	1	1	NUM
cet-9877	67	24	.	.	PUNCT
cet-9877	67	25			ADJ
cet-9877	67	26	type	type	NOUN
cet-9877	67	27	a	a	X
cet-9877	67	28	:	:	PUNCT
cet-9877	67	29	since	since	SCONJ
cet-9877	67	30	the	the	DET
cet-9877	67	31	operational	operational	ADJ
cet-9877	67	32	goal	goal	NOUN
cet-9877	67	33	of	of	ADP
cet-9877	67	34	stage	stage	NOUN
cet-9877	67	35	1	1	NUM
cet-9877	67	36	is	be	AUX
cet-9877	67	37	to	to	PART
cet-9877	67	38	place	place	VERB
cet-9877	67	39	a	a	DET
cet-9877	67	40	small	small	ADJ
cet-9877	67	41	amount	amount	NOUN
cet-9877	67	42	of	of	ADP
cet-9877	67	43	liquid	liquid	ADJ
cet-9877	67	44	mixture	mixture	NOUN
cet-9877	67	45	in	in	ADP
cet-9877	67	46	the	the	DET
cet-9877	67	47	flash	flash	NOUN
cet-9877	67	48	drum	drum	NOUN
cet-9877	67	49	before	before	ADP
cet-9877	67	50	heating	heating	NOUN
cet-9877	67	51	,	,	PUNCT
cet-9877	67	52	this	this	DET
cet-9877	67	53	target	target	NOUN
cet-9877	67	54	is	be	AUX
cet-9877	67	55	specified	specify	VERB
cet-9877	67	56	in	in	ADP
cet-9877	67	57	figure	figure	NOUN
cet-9877	67	58	7	7	NUM
cet-9877	67	59	as	as	SCONJ
cet-9877	67	60	the	the	DET
cet-9877	67	61	guard	guard	NOUN
cet-9877	67	62	of	of	ADP
cet-9877	67	63	event	event	NOUN
cet-9877	67	64	step	step	NOUN
cet-9877	67	65	1	1	NUM
cet-9877	67	66	.	.	PUNCT
cet-9877	67	67	notice	notice	VERB
cet-9877	67	68	the	the	DET
cet-9877	67	69	prerequisite	prerequisite	NOUN
cet-9877	67	70	condition	condition	NOUN
cet-9877	68	1	pu_flevel	pu_flevel	NOUN
cet-9877	68	2	=	=	NOUN
cet-9877	68	3	=	=	SYM
cet-9877	68	4	1	1	NUM
cet-9877	68	5	denotes	denote	NOUN
cet-9877	68	6	that	that	SCONJ
cet-9877	68	7	the	the	DET
cet-9877	68	8	liquid	liquid	ADJ
cet-9877	68	9	level	level	NOUN
cet-9877	68	10	must	must	AUX
cet-9877	68	11	reach	reach	VERB
cet-9877	68	12	the	the	DET
cet-9877	68	13	discrete	discrete	ADJ
cet-9877	68	14	value	value	NOUN
cet-9877	68	15	of	of	ADP
cet-9877	68	16	1	1	NUM
cet-9877	68	17	.	.	PUNCT
cet-9877	68	18	notice	notice	NOUN
cet-9877	68	19	also	also	ADV
cet-9877	68	20	that	that	SCONJ
cet-9877	68	21	s0	s0	PROPN
cet-9877	68	22	and	and	CCONJ
cet-9877	68	23	s1	s1	PROPN
cet-9877	68	24	represent	represent	VERB
cet-9877	68	25	the	the	DET
cet-9877	68	26	initial	initial	ADJ
cet-9877	68	27	and	and	CCONJ
cet-9877	68	28	marked	marked	ADJ
cet-9877	68	29	states	state	NOUN
cet-9877	68	30	,	,	PUNCT
cet-9877	68	31	respectively	respectively	ADV
cet-9877	68	32	.	.	PUNCT
cet-9877	69	1	figure	figure	VERB
cet-9877	69	2	7	7	NUM
cet-9877	69	3	:	:	PUNCT
cet-9877	69	4	control	control	NOUN
cet-9877	69	5	specification	specification	NOUN
cet-9877	69	6	of	of	ADP
cet-9877	69	7	type	type	NOUN
cet-9877	69	8	a	a	PRON
cet-9877	69	9	for	for	ADP
cet-9877	69	10	stage	stage	NOUN
cet-9877	69	11	1	1	NUM
cet-9877	69	12	.	.	PUNCT
cet-9877	69	13			ADJ
cet-9877	69	14	type	type	NOUN
cet-9877	70	1	c	c	NOUN
cet-9877	70	2	:	:	PUNCT
cet-9877	70	3	it	it	PRON
cet-9877	70	4	is	be	AUX
cet-9877	70	5	also	also	ADV
cet-9877	70	6	desired	desire	VERB
cet-9877	70	7	to	to	PART
cet-9877	70	8	minimize	minimize	VERB
cet-9877	70	9	the	the	DET
cet-9877	70	10	charging	charging	NOUN
cet-9877	70	11	time	time	NOUN
cet-9877	70	12	by	by	ADP
cet-9877	70	13	maximizing	maximize	VERB
cet-9877	70	14	the	the	DET
cet-9877	70	15	feed	feed	NOUN
cet-9877	70	16	rate	rate	NOUN
cet-9877	70	17	in	in	ADP
cet-9877	70	18	stage	stage	NOUN
cet-9877	70	19	1	1	NUM
cet-9877	70	20	.	.	PUNCT
cet-9877	71	1	the	the	DET
cet-9877	71	2	corresponding	corresponding	PROPN
cet-9877	71	3	control	control	NOUN
cet-9877	71	4	specification	specification	NOUN
cet-9877	71	5	can	can	AUX
cet-9877	71	6	be	be	AUX
cet-9877	71	7	modelled	model	VERB
cet-9877	71	8	by	by	ADP
cet-9877	71	9	the	the	DET
cet-9877	71	10	automaton	automaton	NOUN
cet-9877	71	11	in	in	ADP
cet-9877	71	12	figure	figure	NOUN
cet-9877	71	13	8	8	NUM
cet-9877	71	14	.	.	PUNCT
cet-9877	72	1	notice	notice	VERB
cet-9877	72	2	the	the	DET
cet-9877	72	3	guard	guard	NOUN
cet-9877	72	4	of	of	ADP
cet-9877	72	5	event	event	NOUN
cet-9877	72	6	vin_full_open	vin_full_open	NOUN
cet-9877	72	7	is	be	AUX
cet-9877	72	8	a_vin	a_vin	PRON
cet-9877	72	9	=	=	PRON
cet-9877	72	10	=	=	SYM
cet-9877	72	11	4	4	NUM
cet-9877	72	12	(	(	PUNCT
cet-9877	72	13	the	the	DET
cet-9877	72	14	largest	large	ADJ
cet-9877	72	15	opening	opening	NOUN
cet-9877	72	16	of	of	ADP
cet-9877	72	17	valve	valve	NOUN
cet-9877	72	18	vin	vin	NOUN
cet-9877	72	19	is	be	AUX
cet-9877	72	20	at	at	ADP
cet-9877	72	21	the	the	DET
cet-9877	72	22	discrete	discrete	ADJ
cet-9877	72	23	value	value	NOUN
cet-9877	72	24	of	of	ADP
cet-9877	72	25	4	4	NUM
cet-9877	72	26	)	)	PUNCT
cet-9877	72	27	.	.	PUNCT
cet-9877	73	1	in	in	ADP
cet-9877	73	2	this	this	DET
cet-9877	73	3	example	example	NOUN
cet-9877	73	4	this	this	PRON
cet-9877	73	5	is	be	AUX
cet-9877	73	6	the	the	DET
cet-9877	73	7	condition	condition	NOUN
cet-9877	73	8	when	when	SCONJ
cet-9877	73	9	vin	vin	NOUN
cet-9877	73	10	is	be	AUX
cet-9877	73	11	fully	fully	ADV
cet-9877	73	12	open	open	ADJ
cet-9877	73	13	.	.	PUNCT
cet-9877	74	1	670	670	NUM
cet-9877	74	2	figure	figure	NOUN
cet-9877	74	3	8	8	NUM
cet-9877	74	4	:	:	PUNCT
cet-9877	74	5	control	control	NOUN
cet-9877	74	6	specification	specification	NOUN
cet-9877	74	7	of	of	ADP
cet-9877	74	8	type	type	NOUN
cet-9877	74	9	c	c	NOUN
cet-9877	74	10	for	for	ADP
cet-9877	74	11	stage	stage	NOUN
cet-9877	74	12	1	1	NUM
cet-9877	74	13	.	.	PUNCT
cet-9877	74	14			ADJ
cet-9877	74	15	type	type	NOUN
cet-9877	74	16	d	d	NOUN
cet-9877	74	17	:	:	PUNCT
cet-9877	74	18	the	the	DET
cet-9877	74	19	illegal	illegal	ADJ
cet-9877	74	20	strings	string	NOUN
cet-9877	74	21	specified	specify	VERB
cet-9877	74	22	in	in	ADP
cet-9877	74	23	figure	figure	NOUN
cet-9877	74	24	9	9	NUM
cet-9877	74	25	are	be	AUX
cet-9877	74	26	adopted	adopt	VERB
cet-9877	74	27	to	to	PART
cet-9877	74	28	prevent	prevent	VERB
cet-9877	74	29	inlet	inlet	NOUN
cet-9877	74	30	valve	valve	NOUN
cet-9877	74	31	(	(	PUNCT
cet-9877	74	32	vin	vin	NOUN
cet-9877	74	33	)	)	PUNCT
cet-9877	74	34	closing	closing	NOUN
cet-9877	74	35	and	and	CCONJ
cet-9877	74	36	heater	heater	NOUN
cet-9877	74	37	(	(	PUNCT
cet-9877	74	38	h	h	NOUN
cet-9877	74	39	)	)	PUNCT
cet-9877	74	40	switching	switch	VERB
cet-9877	74	41	on	on	ADP
cet-9877	74	42	during	during	ADP
cet-9877	74	43	stage	stage	NOUN
cet-9877	74	44	1	1	NUM
cet-9877	74	45	.	.	PUNCT
cet-9877	74	46	notice	notice	VERB
cet-9877	74	47	that	that	SCONJ
cet-9877	74	48	,	,	PUNCT
cet-9877	74	49	in	in	ADP
cet-9877	74	50	supremica	supremica	NOUN
cet-9877	74	51	,	,	PUNCT
cet-9877	74	52	the	the	DET
cet-9877	74	53	guard	guard	NOUN
cet-9877	74	54	1	1	NUM
cet-9877	74	55	=	=	NOUN
cet-9877	74	56	=	=	SYM
cet-9877	74	57	0	0	NUM
cet-9877	74	58	is	be	AUX
cet-9877	74	59	used	use	VERB
cet-9877	74	60	to	to	PART
cet-9877	74	61	forbid	forbid	VERB
cet-9877	74	62	the	the	DET
cet-9877	74	63	self	self	NOUN
cet-9877	74	64	-	-	PUNCT
cet-9877	74	65	looping	loop	VERB
cet-9877	74	66	events	event	NOUN
cet-9877	74	67	,	,	PUNCT
cet-9877	74	68	i.e.	i.e.	X
cet-9877	74	69	,	,	PUNCT
cet-9877	74	70	vin_pid_n	vin_pid_n	NOUN
cet-9877	74	71	and	and	CCONJ
cet-9877	74	72	h_pid_p	h_pid_p	NOUN
cet-9877	74	73	,	,	PUNCT
cet-9877	74	74	on	on	ADP
cet-9877	74	75	s1	s1	PROPN
cet-9877	74	76	.	.	PUNCT
cet-9877	75	1	figure	figure	NOUN
cet-9877	75	2	9	9	NUM
cet-9877	75	3	:	:	PUNCT
cet-9877	75	4	control	control	NOUN
cet-9877	75	5	specification	specification	NOUN
cet-9877	75	6	of	of	ADP
cet-9877	75	7	type	type	NOUN
cet-9877	75	8	d	d	NOUN
cet-9877	75	9	for	for	ADP
cet-9877	75	10	stage	stage	NOUN
cet-9877	75	11	1	1	NUM
cet-9877	75	12	.	.	NOUN
cet-9877	75	13	8	8	NUM
cet-9877	75	14	.	.	PUNCT
cet-9877	75	15	procedure	procedure	NOUN
cet-9877	75	16	synthesis	synthesis	NOUN
cet-9877	75	17	and	and	CCONJ
cet-9877	75	18	validation	validation	NOUN
cet-9877	75	19	the	the	DET
cet-9877	75	20	feasible	feasible	ADJ
cet-9877	75	21	operating	operating	NOUN
cet-9877	75	22	procedures	procedure	NOUN
cet-9877	75	23	of	of	ADP
cet-9877	75	24	each	each	DET
cet-9877	75	25	stage	stage	NOUN
cet-9877	75	26	can	can	AUX
cet-9877	75	27	be	be	AUX
cet-9877	75	28	produced	produce	VERB
cet-9877	75	29	by	by	ADP
cet-9877	75	30	synchronizing	synchronize	VERB
cet-9877	75	31	all	all	DET
cet-9877	75	32	component	component	NOUN
cet-9877	75	33	models	model	NOUN
cet-9877	75	34	and	and	CCONJ
cet-9877	75	35	the	the	DET
cet-9877	75	36	corresponding	corresponding	ADJ
cet-9877	75	37	control	control	NOUN
cet-9877	75	38	specifications	specification	NOUN
cet-9877	75	39	.	.	PUNCT
cet-9877	76	1	a	a	DET
cet-9877	76	2	sequential	sequential	ADJ
cet-9877	76	3	function	function	NOUN
cet-9877	76	4	chart	chart	NOUN
cet-9877	76	5	(	(	PUNCT
cet-9877	76	6	sfc	sfc	NOUN
cet-9877	76	7	)	)	PUNCT
cet-9877	76	8	is	be	AUX
cet-9877	76	9	used	use	VERB
cet-9877	76	10	in	in	ADP
cet-9877	76	11	this	this	DET
cet-9877	76	12	work	work	NOUN
cet-9877	76	13	to	to	PART
cet-9877	76	14	formally	formally	ADV
cet-9877	76	15	summarize	summarize	VERB
cet-9877	76	16	the	the	DET
cet-9877	76	17	overall	overall	ADJ
cet-9877	76	18	operating	operating	NOUN
cet-9877	76	19	procedure	procedure	NOUN
cet-9877	76	20	by	by	ADP
cet-9877	76	21	piecing	piece	VERB
cet-9877	76	22	together	together	ADP
cet-9877	76	23	the	the	DET
cet-9877	76	24	sequential	sequential	ADJ
cet-9877	76	25	steps	step	NOUN
cet-9877	76	26	of	of	ADP
cet-9877	76	27	all	all	DET
cet-9877	76	28	stages	stage	NOUN
cet-9877	76	29	.	.	PUNCT
cet-9877	77	1	a	a	DET
cet-9877	77	2	total	total	NOUN
cet-9877	77	3	of	of	ADP
cet-9877	77	4	four	four	NUM
cet-9877	77	5	sfcs	sfc	NOUN
cet-9877	77	6	have	have	AUX
cet-9877	77	7	been	be	AUX
cet-9877	77	8	generated	generate	VERB
cet-9877	77	9	in	in	ADP
cet-9877	77	10	the	the	DET
cet-9877	77	11	flash	flash	NOUN
cet-9877	77	12	startup	startup	NOUN
cet-9877	77	13	example	example	NOUN
cet-9877	77	14	.	.	PUNCT
cet-9877	78	1	specifically	specifically	ADV
cet-9877	78	2	,	,	PUNCT
cet-9877	78	3			X
cet-9877	78	4	sfc-1	sfc-1	NOUN
cet-9877	78	5	:	:	PUNCT
cet-9877	78	6	(	(	PUNCT
cet-9877	78	7	1	1	X
cet-9877	78	8	)	)	PUNCT
cet-9877	78	9	raise	raise	VERB
cet-9877	78	10	the	the	DET
cet-9877	78	11	liquid	liquid	ADJ
cet-9877	78	12	level	level	NOUN
cet-9877	78	13	to	to	ADP
cet-9877	78	14	1.5	1.5	NUM
cet-9877	78	15	m	m	NOUN
cet-9877	78	16	;	;	PUNCT
cet-9877	78	17	(	(	PUNCT
cet-9877	78	18	2	2	X
cet-9877	78	19	)	)	PUNCT
cet-9877	78	20	raise	raise	VERB
cet-9877	78	21	the	the	DET
cet-9877	78	22	temperature	temperature	NOUN
cet-9877	78	23	and	and	CCONJ
cet-9877	78	24	level	level	NOUN
cet-9877	78	25	to	to	ADP
cet-9877	78	26	their	their	PRON
cet-9877	78	27	set	set	NOUN
cet-9877	78	28	points	point	NOUN
cet-9877	78	29	(	(	PUNCT
cet-9877	78	30	i.e.	i.e.	X
cet-9877	78	31	,	,	PUNCT
cet-9877	78	32	75	75	NUM
cet-9877	78	33	℃	℃	PROPN
cet-9877	78	34	and	and	CCONJ
cet-9877	78	35	2.5	2.5	NUM
cet-9877	78	36	m	m	NOUN
cet-9877	78	37	)	)	PUNCT
cet-9877	78	38	in	in	ADP
cet-9877	78	39	one	one	NUM
cet-9877	78	40	step	step	NOUN
cet-9877	78	41	;	;	PUNCT
cet-9877	78	42	(	(	PUNCT
cet-9877	78	43	3	3	X
cet-9877	78	44	)	)	PUNCT
cet-9877	78	45	set	set	VERB
cet-9877	78	46	controllers	controller	NOUN
cet-9877	78	47	on	on	ADP
cet-9877	78	48	auto	auto	NOUN
cet-9877	78	49	and	and	CCONJ
cet-9877	78	50	maintain	maintain	VERB
cet-9877	78	51	stable	stable	ADJ
cet-9877	78	52	operation	operation	NOUN
cet-9877	78	53	.	.	PUNCT
cet-9877	79	1			NOUN
cet-9877	79	2	sfc-2	sfc-2	NOUN
cet-9877	79	3	:	:	PUNCT
cet-9877	79	4	(	(	PUNCT
cet-9877	79	5	1	1	X
cet-9877	79	6	)	)	PUNCT
cet-9877	79	7	raise	raise	VERB
cet-9877	79	8	the	the	DET
cet-9877	79	9	liquid	liquid	ADJ
cet-9877	79	10	level	level	NOUN
cet-9877	79	11	to	to	ADP
cet-9877	79	12	1.5	1.5	NUM
cet-9877	79	13	m	m	NOUN
cet-9877	79	14	;	;	PUNCT
cet-9877	79	15	(	(	PUNCT
cet-9877	79	16	2	2	X
cet-9877	79	17	)	)	PUNCT
cet-9877	79	18	raise	raise	VERB
cet-9877	79	19	the	the	DET
cet-9877	79	20	temperature	temperature	NOUN
cet-9877	79	21	to	to	ADP
cet-9877	79	22	40	40	NUM
cet-9877	79	23	℃	℃	PROPN
cet-9877	79	24	and	and	CCONJ
cet-9877	79	25	then	then	ADV
cet-9877	79	26	to	to	ADP
cet-9877	79	27	75	75	NUM
cet-9877	79	28	℃	℃	PROPN
cet-9877	79	29	in	in	ADP
cet-9877	79	30	two	two	NUM
cet-9877	79	31	steps	step	NOUN
cet-9877	79	32	and	and	CCONJ
cet-9877	79	33	raise	raise	VERB
cet-9877	79	34	the	the	DET
cet-9877	79	35	level	level	NOUN
cet-9877	79	36	to	to	ADP
cet-9877	79	37	2.5	2.5	NUM
cet-9877	79	38	m	m	NOUN
cet-9877	79	39	in	in	ADP
cet-9877	79	40	one	one	NUM
cet-9877	79	41	step	step	NOUN
cet-9877	79	42	;	;	PUNCT
cet-9877	79	43	(	(	PUNCT
cet-9877	79	44	3	3	X
cet-9877	79	45	)	)	PUNCT
cet-9877	79	46	set	set	VERB
cet-9877	79	47	controllers	controller	NOUN
cet-9877	79	48	on	on	ADP
cet-9877	79	49	auto	auto	NOUN
cet-9877	79	50	and	and	CCONJ
cet-9877	79	51	maintain	maintain	VERB
cet-9877	79	52	stable	stable	ADJ
cet-9877	79	53	operation	operation	NOUN
cet-9877	79	54	.	.	PUNCT
cet-9877	80	1			PROPN
cet-9877	80	2	sfc-3	sfc-3	NOUN
cet-9877	80	3	:	:	PUNCT
cet-9877	80	4	(	(	PUNCT
cet-9877	80	5	1	1	X
cet-9877	80	6	)	)	PUNCT
cet-9877	80	7	raise	raise	VERB
cet-9877	80	8	the	the	DET
cet-9877	80	9	liquid	liquid	ADJ
cet-9877	80	10	level	level	NOUN
cet-9877	80	11	to	to	ADP
cet-9877	80	12	the	the	DET
cet-9877	80	13	set	set	NOUN
cet-9877	80	14	point	point	NOUN
cet-9877	80	15	at	at	ADP
cet-9877	80	16	2.5	2.5	NUM
cet-9877	80	17	m	m	NOUN
cet-9877	80	18	;	;	PUNCT
cet-9877	80	19	(	(	PUNCT
cet-9877	80	20	2	2	X
cet-9877	80	21	)	)	PUNCT
cet-9877	80	22	raise	raise	VERB
cet-9877	80	23	the	the	DET
cet-9877	80	24	temperature	temperature	NOUN
cet-9877	80	25	to	to	ADP
cet-9877	80	26	75	75	NUM
cet-9877	80	27	℃	℃	PROPN
cet-9877	80	28	in	in	ADP
cet-9877	80	29	one	one	NUM
cet-9877	80	30	step	step	NOUN
cet-9877	80	31	;	;	PUNCT
cet-9877	80	32	(	(	PUNCT
cet-9877	80	33	3	3	X
cet-9877	80	34	)	)	PUNCT
cet-9877	80	35	set	set	VERB
cet-9877	80	36	controllers	controller	NOUN
cet-9877	80	37	on	on	ADP
cet-9877	80	38	auto	auto	NOUN
cet-9877	80	39	and	and	CCONJ
cet-9877	80	40	maintain	maintain	VERB
cet-9877	80	41	stable	stable	ADJ
cet-9877	80	42	operation	operation	NOUN
cet-9877	80	43	.	.	PUNCT
cet-9877	81	1			PROPN
cet-9877	81	2	sfc-4	sfc-4	NUM
cet-9877	81	3	:	:	PUNCT
cet-9877	81	4	(	(	PUNCT
cet-9877	81	5	1	1	X
cet-9877	81	6	)	)	PUNCT
cet-9877	81	7	raise	raise	VERB
cet-9877	81	8	the	the	DET
cet-9877	81	9	liquid	liquid	ADJ
cet-9877	81	10	level	level	NOUN
cet-9877	81	11	to	to	ADP
cet-9877	81	12	the	the	DET
cet-9877	81	13	set	set	NOUN
cet-9877	81	14	point	point	NOUN
cet-9877	81	15	at	at	ADP
cet-9877	81	16	2.5	2.5	NUM
cet-9877	81	17	m	m	NOUN
cet-9877	81	18	;	;	PUNCT
cet-9877	81	19	(	(	PUNCT
cet-9877	81	20	2	2	X
cet-9877	81	21	)	)	PUNCT
cet-9877	81	22	raise	raise	VERB
cet-9877	81	23	the	the	DET
cet-9877	81	24	temperature	temperature	NOUN
cet-9877	81	25	to	to	ADP
cet-9877	81	26	40	40	NUM
cet-9877	81	27	℃	℃	PROPN
cet-9877	81	28	and	and	CCONJ
cet-9877	81	29	then	then	ADV
cet-9877	81	30	to	to	ADP
cet-9877	81	31	75	75	NUM
cet-9877	81	32	℃	℃	PROPN
cet-9877	81	33	in	in	ADP
cet-9877	81	34	two	two	NUM
cet-9877	81	35	steps	step	NOUN
cet-9877	81	36	;	;	PUNCT
cet-9877	81	37	(	(	PUNCT
cet-9877	81	38	3	3	X
cet-9877	81	39	)	)	PUNCT
cet-9877	81	40	set	set	VERB
cet-9877	81	41	controllers	controller	NOUN
cet-9877	81	42	on	on	ADP
cet-9877	81	43	auto	auto	NOUN
cet-9877	81	44	and	and	CCONJ
cet-9877	81	45	maintain	maintain	VERB
cet-9877	81	46	stable	stable	ADJ
cet-9877	81	47	operation	operation	NOUN
cet-9877	81	48	.	.	PUNCT
cet-9877	82	1	all	all	DET
cet-9877	82	2	four	four	NUM
cet-9877	82	3	scenarios	scenario	NOUN
cet-9877	82	4	were	be	AUX
cet-9877	82	5	tested	test	VERB
cet-9877	82	6	in	in	ADP
cet-9877	82	7	simulation	simulation	NOUN
cet-9877	82	8	studies	study	NOUN
cet-9877	82	9	with	with	ADP
cet-9877	82	10	aspen	aspen	NOUN
cet-9877	82	11	plus	plus	CCONJ
cet-9877	82	12	dynamics	dynamic	NOUN
cet-9877	82	13	.	.	PUNCT
cet-9877	83	1	it	it	PRON
cet-9877	83	2	was	be	AUX
cet-9877	83	3	determined	determine	VERB
cet-9877	83	4	that	that	SCONJ
cet-9877	83	5	the	the	DET
cet-9877	83	6	last	last	ADJ
cet-9877	83	7	two	two	NUM
cet-9877	83	8	are	be	AUX
cet-9877	83	9	unsafe	unsafe	ADJ
cet-9877	83	10	in	in	ADP
cet-9877	83	11	practical	practical	ADJ
cet-9877	83	12	applications	application	NOUN
cet-9877	83	13	since	since	SCONJ
cet-9877	83	14	the	the	DET
cet-9877	83	15	liquid	liquid	ADJ
cet-9877	83	16	level	level	NOUN
cet-9877	83	17	exceeded	exceed	VERB
cet-9877	83	18	the	the	DET
cet-9877	83	19	height	height	NOUN
cet-9877	83	20	of	of	ADP
cet-9877	83	21	flash	flash	NOUN
cet-9877	83	22	drum	drum	NOUN
cet-9877	83	23	(	(	PUNCT
cet-9877	83	24	5	5	NUM
cet-9877	83	25	m	m	NOUN
cet-9877	83	26	)	)	PUNCT
cet-9877	83	27	at	at	ADP
cet-9877	83	28	the	the	DET
cet-9877	83	29	end	end	NOUN
cet-9877	83	30	of	of	ADP
cet-9877	83	31	simulation	simulation	NOUN
cet-9877	83	32	runs	run	NOUN
cet-9877	83	33	.	.	PUNCT
cet-9877	84	1	on	on	ADP
cet-9877	84	2	the	the	DET
cet-9877	84	3	other	other	ADJ
cet-9877	84	4	hand	hand	NOUN
cet-9877	84	5	,	,	PUNCT
cet-9877	84	6	sfc-1	sfc-1	PUNCT
cet-9877	84	7	and	and	CCONJ
cet-9877	84	8	sfc-2	sfc-2	NOUN
cet-9877	84	9	are	be	AUX
cet-9877	84	10	compared	compare	VERB
cet-9877	84	11	on	on	ADP
cet-9877	84	12	the	the	DET
cet-9877	84	13	basis	basis	NOUN
cet-9877	84	14	of	of	ADP
cet-9877	84	15	three	three	NUM
cet-9877	84	16	performance	performance	NOUN
cet-9877	84	17	indices	index	NOUN
cet-9877	84	18	,	,	PUNCT
cet-9877	84	19	i.e.	i.e.	X
cet-9877	84	20	,	,	PUNCT
cet-9877	84	21	the	the	DET
cet-9877	84	22	total	total	ADJ
cet-9877	84	23	amount	amount	NOUN
cet-9877	84	24	of	of	ADP
cet-9877	84	25	off	off	ADP
cet-9877	84	26	-	-	PUNCT
cet-9877	84	27	spec	spec	NOUN
cet-9877	84	28	products	product	NOUN
cet-9877	84	29	,	,	PUNCT
cet-9877	84	30	the	the	DET
cet-9877	84	31	total	total	ADJ
cet-9877	84	32	amount	amount	NOUN
cet-9877	84	33	of	of	ADP
cet-9877	84	34	energy	energy	NOUN
cet-9877	84	35	consumed	consume	VERB
cet-9877	84	36	and	and	CCONJ
cet-9877	84	37	the	the	DET
cet-9877	84	38	terminations	termination	NOUN
cet-9877	84	39	time	time	NOUN
cet-9877	84	40	(	(	PUNCT
cet-9877	84	41	see	see	VERB
cet-9877	84	42	table	table	NOUN
cet-9877	84	43	1	1	NUM
cet-9877	84	44	)	)	PUNCT
cet-9877	84	45	.	.	PUNCT
cet-9877	85	1	it	it	PRON
cet-9877	85	2	can	can	AUX
cet-9877	85	3	be	be	AUX
cet-9877	85	4	observed	observe	VERB
cet-9877	85	5	that	that	SCONJ
cet-9877	85	6	sfc-1	sfc-1	VERB
cet-9877	85	7	outperforms	outperform	NOUN
cet-9877	85	8	sfc-2	sfc-2	NOUN
cet-9877	85	9	in	in	ADP
cet-9877	85	10	every	every	DET
cet-9877	85	11	aspect	aspect	NOUN
cet-9877	85	12	.	.	PUNCT
cet-9877	86	1	table	table	NOUN
cet-9877	86	2	1	1	NUM
cet-9877	86	3	:	:	PUNCT
cet-9877	86	4	comparison	comparison	NOUN
cet-9877	86	5	of	of	ADP
cet-9877	86	6	performance	performance	NOUN
cet-9877	86	7	indices	index	NOUN
cet-9877	86	8	of	of	ADP
cet-9877	86	9	sfc-1	sfc-1	NOUN
cet-9877	86	10	and	and	CCONJ
cet-9877	86	11	sfc-2	sfc-2	NOUN
cet-9877	86	12	.	.	PUNCT
cet-9877	87	1	sfc	sfc	PROPN
cet-9877	87	2	no	no	PRON
cet-9877	87	3	.	.	PUNCT
cet-9877	88	1	total	total	ADJ
cet-9877	88	2	amount	amount	NOUN
cet-9877	88	3	of	of	ADP
cet-9877	88	4	off	off	ADP
cet-9877	88	5	-	-	PUNCT
cet-9877	88	6	spec	spec	NOUN
cet-9877	88	7	products	product	NOUN
cet-9877	88	8	(	(	PUNCT
cet-9877	88	9	kg	kg	NOUN
cet-9877	88	10	)	)	PUNCT
cet-9877	88	11	total	total	ADJ
cet-9877	88	12	amount	amount	NOUN
cet-9877	88	13	of	of	ADP
cet-9877	88	14	energy	energy	NOUN
cet-9877	88	15	consumed	consume	VERB
cet-9877	88	16	(	(	PUNCT
cet-9877	88	17	mmkcal	mmkcal	ADJ
cet-9877	88	18	)	)	PUNCT
cet-9877	88	19	termination	termination	NOUN
cet-9877	88	20	time	time	NOUN
cet-9877	88	21	(	(	PUNCT
cet-9877	88	22	hr	hr	NOUN
cet-9877	88	23	)	)	PUNCT
cet-9877	88	24	sfc-1	sfc-1	VERB
cet-9877	88	25	918.1	918.1	NUM
cet-9877	88	26	10.1	10.1	NUM
cet-9877	88	27	0.90	0.90	NUM
cet-9877	88	28	sfc-2	sfc-2	NUM
cet-9877	88	29	937.8	937.8	NUM
cet-9877	88	30	10.4	10.4	NUM
cet-9877	88	31	1.05	1.05	NUM
cet-9877	88	32	let	let	VERB
cet-9877	88	33	’s	’s	NOUN
cet-9877	88	34	next	next	ADV
cet-9877	88	35	take	take	VERB
cet-9877	88	36	a	a	DET
cet-9877	88	37	closer	close	ADJ
cet-9877	88	38	look	look	NOUN
cet-9877	88	39	at	at	ADP
cet-9877	88	40	the	the	DET
cet-9877	88	41	best	good	ADJ
cet-9877	88	42	operating	operate	VERB
cet-9877	88	43	procedure	procedure	NOUN
cet-9877	88	44	obtained	obtain	VERB
cet-9877	88	45	in	in	ADP
cet-9877	88	46	the	the	DET
cet-9877	88	47	flash	flash	NOUN
cet-9877	88	48	startup	startup	NOUN
cet-9877	88	49	example	example	NOUN
cet-9877	88	50	,	,	PUNCT
cet-9877	88	51	i.e.	i.e.	X
cet-9877	88	52	,	,	PUNCT
cet-9877	88	53	sfc-1	sfc-1	PUNCT
cet-9877	88	54	in	in	ADP
cet-9877	88	55	figure	figure	NOUN
cet-9877	88	56	10	10	NUM
cet-9877	88	57	.	.	PUNCT
cet-9877	89	1	the	the	DET
cet-9877	89	2	initial	initial	ADJ
cet-9877	89	3	settings	setting	NOUN
cet-9877	89	4	of	of	ADP
cet-9877	89	5	pid	pid	NOUN
cet-9877	89	6	controllers	controller	NOUN
cet-9877	89	7	and	and	CCONJ
cet-9877	89	8	actuators	actuator	NOUN
cet-9877	89	9	in	in	ADP
cet-9877	89	10	this	this	DET
cet-9877	89	11	procedure	procedure	NOUN
cet-9877	89	12	are	be	AUX
cet-9877	89	13	implemented	implement	VERB
cet-9877	89	14	according	accord	VERB
cet-9877	89	15	to	to	ADP
cet-9877	89	16	s	s	PROPN
cet-9877	89	17	.	.	PUNCT
cet-9877	90	1	the	the	DET
cet-9877	90	2	first	first	ADJ
cet-9877	90	3	activation	activation	NOUN
cet-9877	90	4	conditions	condition	NOUN
cet-9877	90	5	in	in	ADP
cet-9877	90	6	sfc-1	sfc-1	NOUN
cet-9877	90	7	are	be	AUX
cet-9877	90	8	basically	basically	ADV
cet-9877	90	9	the	the	DET
cet-9877	90	10	sensor	sensor	NOUN
cet-9877	90	11	readings	reading	NOUN
cet-9877	90	12	specified	specify	VERB
cet-9877	90	13	in	in	ADP
cet-9877	90	14	ac	ac	PROPN
cet-9877	90	15	.	.	PUNCT
cet-9877	91	1	after	after	SCONJ
cet-9877	91	2	ac	ac	PROPN
cet-9877	91	3	is	be	AUX
cet-9877	91	4	confirmed	confirm	VERB
cet-9877	91	5	,	,	PUNCT
cet-9877	91	6	valve	valve	NOUN
cet-9877	91	7	vin	vin	NOUN
cet-9877	91	8	is	be	AUX
cet-9877	91	9	supposed	suppose	VERB
cet-9877	91	10	to	to	PART
cet-9877	91	11	be	be	AUX
cet-9877	91	12	opened	open	VERB
cet-9877	91	13	fully	fully	ADV
cet-9877	91	14	as	as	SCONJ
cet-9877	91	15	required	require	VERB
cet-9877	91	16	in	in	ADP
cet-9877	91	17	s	s	PRON
cet-9877	91	18	.	.	PUNCT
cet-9877	92	1	consequently	consequently	ADV
cet-9877	92	2	,	,	PUNCT
cet-9877	92	3	the	the	DET
cet-9877	92	4	liquid	liquid	ADJ
cet-9877	92	5	level	level	NOUN
cet-9877	92	6	in	in	ADP
cet-9877	92	7	flash	flash	NOUN
cet-9877	92	8	drum	drum	NOUN
cet-9877	92	9	will	will	AUX
cet-9877	92	10	rise	rise	VERB
cet-9877	92	11	quickly	quickly	ADV
cet-9877	92	12	.	.	PUNCT
cet-9877	93	1	upon	upon	SCONJ
cet-9877	93	2	observing	observe	VERB
cet-9877	93	3	the	the	DET
cet-9877	93	4	level	level	NOUN
cet-9877	93	5	reading	reading	NOUN
cet-9877	93	6	of	of	ADP
cet-9877	93	7	1.5	1.5	NUM
cet-9877	93	8	m	m	NOUN
cet-9877	93	9	,	,	PUNCT
cet-9877	93	10	i.e.	i.e.	X
cet-9877	93	11	,	,	PUNCT
cet-9877	93	12	ac	ac	PROPN
cet-9877	93	13	,	,	PUNCT
cet-9877	93	14	utility	utility	NOUN
cet-9877	93	15	heating	heating	NOUN
cet-9877	93	16	should	should	AUX
cet-9877	93	17	be	be	AUX
cet-9877	93	18	applied	apply	VERB
cet-9877	93	19	and	and	CCONJ
cet-9877	93	20	,	,	PUNCT
cet-9877	93	21	at	at	ADP
cet-9877	93	22	the	the	DET
cet-9877	93	23	same	same	ADJ
cet-9877	93	24	time	time	NOUN
cet-9877	93	25	,	,	PUNCT
cet-9877	93	26	the	the	DET
cet-9877	93	27	inlet	inlet	NOUN
cet-9877	93	28	and	and	CCONJ
cet-9877	93	29	outlet	outlet	NOUN
cet-9877	93	30	flows	flow	NOUN
cet-9877	93	31	also	also	ADV
cet-9877	93	32	begin	begin	VERB
cet-9877	93	33	via	via	ADP
cet-9877	93	34	the	the	DET
cet-9877	93	35	operation	operation	NOUN
cet-9877	93	36	steps	step	NOUN
cet-9877	93	37	specified	specify	VERB
cet-9877	93	38	in	in	ADP
cet-9877	93	39	s	s	PRON
cet-9877	93	40	.	.	PUNCT
cet-9877	94	1	the	the	DET
cet-9877	94	2	subsequent	subsequent	ADJ
cet-9877	94	3	activation	activation	NOUN
cet-9877	94	4	conditions	condition	NOUN
cet-9877	94	5	in	in	ADP
cet-9877	94	6	ac	ac	PROPN
cet-9877	94	7	are	be	AUX
cet-9877	94	8	essentially	essentially	ADV
cet-9877	94	9	sensor	sensor	NOUN
cet-9877	94	10	readings	reading	NOUN
cet-9877	94	11	that	that	PRON
cet-9877	94	12	equal	equal	ADJ
cet-9877	94	13	to	to	ADP
cet-9877	94	14	the	the	DET
cet-9877	94	15	set	set	ADJ
cet-9877	94	16	points	point	NOUN
cet-9877	94	17	of	of	ADP
cet-9877	94	18	temperature	temperature	NOUN
cet-9877	94	19	(	(	PUNCT
cet-9877	94	20	75	75	NUM
cet-9877	94	21	℃	℃	NOUN
cet-9877	94	22	)	)	PUNCT
cet-9877	94	23	and	and	CCONJ
cet-9877	94	24	level	level	NOUN
cet-9877	94	25	(	(	PUNCT
cet-9877	94	26	2.5	2.5	NUM
cet-9877	94	27	m	m	NOUN
cet-9877	94	28	)	)	PUNCT
cet-9877	94	29	for	for	ADP
cet-9877	94	30	the	the	DET
cet-9877	94	31	continuous	continuous	ADJ
cet-9877	94	32	flash	flash	NOUN
cet-9877	94	33	operation	operation	NOUN
cet-9877	94	34	at	at	ADP
cet-9877	94	35	steady	steady	ADJ
cet-9877	94	36	state	state	NOUN
cet-9877	94	37	.	.	PUNCT
cet-9877	95	1	the	the	DET
cet-9877	95	2	final	final	ADJ
cet-9877	95	3	steps	step	NOUN
cet-9877	95	4	of	of	ADP
cet-9877	95	5	the	the	DET
cet-9877	95	6	startup	startup	NOUN
cet-9877	95	7	operation	operation	NOUN
cet-9877	95	8	,	,	PUNCT
cet-9877	95	9	i.e.	i.e.	X
cet-9877	95	10	,	,	PUNCT
cet-9877	95	11	s	s	PART
cet-9877	95	12	,	,	PUNCT
cet-9877	95	13	are	be	AUX
cet-9877	95	14	operator	operator	NOUN
cet-9877	95	15	(	(	PUNCT
cet-9877	95	16	or	or	CCONJ
cet-9877	95	17	plc	plc	PROPN
cet-9877	95	18	)	)	PUNCT
cet-9877	95	19	actions	action	NOUN
cet-9877	95	20	to	to	PART
cet-9877	95	21	switch	switch	VERB
cet-9877	95	22	all	all	DET
cet-9877	95	23	pid	pid	NOUN
cet-9877	95	24	controllers	controller	NOUN
cet-9877	95	25	to	to	ADP
cet-9877	95	26	auto	auto	NOUN
cet-9877	95	27	modes	mode	NOUN
cet-9877	95	28	and	and	CCONJ
cet-9877	95	29	adjust	adjust	VERB
cet-9877	95	30	their	their	PRON
cet-9877	95	31	set	set	VERB
cet-9877	95	32	points	point	NOUN
cet-9877	95	33	to	to	ADP
cet-9877	95	34	the	the	DET
cet-9877	95	35	intended	intend	VERB
cet-9877	95	36	steady	steady	ADJ
cet-9877	95	37	-	-	PUNCT
cet-9877	95	38	state	state	NOUN
cet-9877	95	39	values	value	NOUN
cet-9877	95	40	respectively	respectively	ADV
cet-9877	95	41	.	.	PUNCT
cet-9877	96	1	the	the	DET
cet-9877	96	2	corresponding	correspond	VERB
cet-9877	96	3	aspen	aspen	PROPN
cet-9877	96	4	simulation	simulation	NOUN
cet-9877	96	5	results	result	NOUN
cet-9877	96	6	are	be	AUX
cet-9877	96	7	presented	present	VERB
cet-9877	96	8	in	in	ADP
cet-9877	96	9	figure	figure	NOUN
cet-9877	96	10	11	11	NUM
cet-9877	96	11	.	.	PUNCT
cet-9877	97	1	it	it	PRON
cet-9877	97	2	can	can	AUX
cet-9877	97	3	be	be	AUX
cet-9877	97	4	clearly	clearly	ADV
cet-9877	97	5	verified	verify	VERB
cet-9877	97	6	that	that	SCONJ
cet-9877	97	7	the	the	DET
cet-9877	97	8	concentration	concentration	NOUN
cet-9877	97	9	spec	spec	NOUN
cet-9877	97	10	(	(	PUNCT
cet-9877	97	11	87	87	NUM
cet-9877	97	12	wt%	wt%	ADJ
cet-9877	97	13	methanol	methanol	NOUN
cet-9877	97	14	)	)	PUNCT
cet-9877	97	15	of	of	ADP
cet-9877	97	16	the	the	DET
cet-9877	97	17	top	top	ADJ
cet-9877	97	18	product	product	NOUN
cet-9877	97	19	is	be	AUX
cet-9877	97	20	671	671	NUM
cet-9877	97	21	reached	reach	VERB
cet-9877	97	22	at	at	ADP
cet-9877	97	23	around	around	ADP
cet-9877	97	24	0.9	0.9	NUM
cet-9877	97	25	hr	hr	NOUN
cet-9877	97	26	(	(	PUNCT
cet-9877	97	27	see	see	VERB
cet-9877	97	28	the	the	DET
cet-9877	97	29	lower	low	ADJ
cet-9877	97	30	-	-	PUNCT
cet-9877	97	31	right	right	NOUN
cet-9877	97	32	diagram	diagram	NOUN
cet-9877	97	33	)	)	PUNCT
cet-9877	97	34	.	.	PUNCT
cet-9877	98	1	it	it	PRON
cet-9877	98	2	can	can	AUX
cet-9877	98	3	also	also	ADV
cet-9877	98	4	be	be	AUX
cet-9877	98	5	confirmed	confirm	VERB
cet-9877	98	6	that	that	SCONJ
cet-9877	98	7	the	the	DET
cet-9877	98	8	liquid	liquid	ADJ
cet-9877	98	9	level	level	NOUN
cet-9877	98	10	is	be	AUX
cet-9877	98	11	far	far	ADV
cet-9877	98	12	below	below	ADP
cet-9877	98	13	the	the	DET
cet-9877	98	14	height	height	NOUN
cet-9877	98	15	of	of	ADP
cet-9877	98	16	flash	flash	NOUN
cet-9877	98	17	drum	drum	NOUN
cet-9877	98	18	(	(	PUNCT
cet-9877	98	19	5	5	NUM
cet-9877	98	20	m	m	NOUN
cet-9877	98	21	)	)	PUNCT
cet-9877	98	22	throughout	throughout	ADP
cet-9877	98	23	the	the	DET
cet-9877	98	24	entire	entire	ADJ
cet-9877	98	25	operation	operation	NOUN
cet-9877	98	26	.	.	PUNCT
cet-9877	99	1	figure	figure	NOUN
cet-9877	99	2	10	10	NUM
cet-9877	99	3	:	:	PUNCT
cet-9877	99	4	sequential	sequential	ADJ
cet-9877	99	5	function	function	NOUN
cet-9877	99	6	chart	chart	NOUN
cet-9877	99	7	sfc-1	sfc-1	PUNCT
cet-9877	99	8	in	in	ADP
cet-9877	99	9	the	the	DET
cet-9877	99	10	flash	flash	NOUN
cet-9877	99	11	startup	startup	NOUN
cet-9877	99	12	example	example	NOUN
cet-9877	99	13	.	.	PUNCT
cet-9877	100	1	figure	figure	VERB
cet-9877	100	2	11	11	NUM
cet-9877	100	3	:	:	PUNCT
cet-9877	100	4	simulation	simulation	NOUN
cet-9877	100	5	results	result	NOUN
cet-9877	100	6	of	of	ADP
cet-9877	100	7	sfc-1	sfc-1	VERB
cet-9877	100	8	in	in	ADP
cet-9877	100	9	flash	flash	NOUN
cet-9877	100	10	startup	startup	NOUN
cet-9877	100	11	operations	operation	NOUN
cet-9877	100	12	.	.	PUNCT
cet-9877	101	1	9	9	X
cet-9877	101	2	.	.	X
cet-9877	101	3	conclusions	conclusion	NOUN
cet-9877	101	4	a	a	DET
cet-9877	101	5	generic	generic	ADJ
cet-9877	101	6	approach	approach	NOUN
cet-9877	101	7	has	have	AUX
cet-9877	101	8	been	be	AUX
cet-9877	101	9	developed	develop	VERB
cet-9877	101	10	in	in	ADP
cet-9877	101	11	this	this	DET
cet-9877	101	12	work	work	NOUN
cet-9877	101	13	for	for	ADP
cet-9877	101	14	systematically	systematically	ADV
cet-9877	101	15	creating	create	VERB
cet-9877	101	16	operating	operating	NOUN
cet-9877	101	17	procedures	procedure	NOUN
cet-9877	101	18	based	base	VERB
cet-9877	101	19	on	on	ADP
cet-9877	101	20	untimed	untimed	ADJ
cet-9877	101	21	automata	automata	NOUN
cet-9877	101	22	.	.	PUNCT
cet-9877	102	1	the	the	DET
cet-9877	102	2	proposed	propose	VERB
cet-9877	102	3	procedure	procedure	NOUN
cet-9877	102	4	-	-	PUNCT
cet-9877	102	5	synthesis	synthesis	NOUN
cet-9877	102	6	steps	step	NOUN
cet-9877	102	7	include	include	VERB
cet-9877	102	8	:	:	PUNCT
cet-9877	102	9	(	(	PUNCT
cet-9877	102	10	1	1	X
cet-9877	102	11	)	)	PUNCT
cet-9877	102	12	constructing	construct	VERB
cet-9877	102	13	automaton	automaton	NOUN
cet-9877	102	14	model	model	NOUN
cet-9877	102	15	for	for	ADP
cet-9877	102	16	each	each	DET
cet-9877	102	17	component	component	NOUN
cet-9877	102	18	in	in	ADP
cet-9877	102	19	a	a	DET
cet-9877	102	20	given	give	VERB
cet-9877	102	21	pfd	pfd	NOUN
cet-9877	102	22	;	;	PUNCT
cet-9877	102	23	(	(	PUNCT
cet-9877	102	24	2	2	X
cet-9877	102	25	)	)	PUNCT
cet-9877	102	26	dividing	divide	VERB
cet-9877	102	27	operation	operation	NOUN
cet-9877	102	28	into	into	ADP
cet-9877	102	29	stages	stage	NOUN
cet-9877	102	30	and	and	CCONJ
cet-9877	102	31	developing	develop	VERB
cet-9877	102	32	automata	automata	NOUN
cet-9877	102	33	to	to	PART
cet-9877	102	34	represent	represent	VERB
cet-9877	102	35	the	the	DET
cet-9877	102	36	control	control	NOUN
cet-9877	102	37	specifications	specification	NOUN
cet-9877	102	38	of	of	ADP
cet-9877	102	39	every	every	DET
cet-9877	102	40	stage	stage	NOUN
cet-9877	102	41	;	;	PUNCT
cet-9877	102	42	(	(	PUNCT
cet-9877	102	43	3	3	X
cet-9877	102	44	)	)	PUNCT
cet-9877	102	45	assembling	assemble	VERB
cet-9877	102	46	the	the	DET
cet-9877	102	47	system	system	NOUN
cet-9877	102	48	model	model	NOUN
cet-9877	102	49	of	of	ADP
cet-9877	102	50	each	each	DET
cet-9877	102	51	stage	stage	NOUN
cet-9877	102	52	and	and	CCONJ
cet-9877	102	53	consolidating	consolidate	VERB
cet-9877	102	54	them	they	PRON
cet-9877	102	55	into	into	ADP
cet-9877	102	56	a	a	DET
cet-9877	102	57	single	single	ADJ
cet-9877	102	58	sfc	sfc	NOUN
cet-9877	102	59	.	.	PUNCT
cet-9877	103	1	the	the	DET
cet-9877	103	2	commercial	commercial	ADJ
cet-9877	103	3	aspen	aspen	PROPN
cet-9877	103	4	plus	plus	CCONJ
cet-9877	103	5	dynamic	dynamic	NOUN
cet-9877	103	6	was	be	AUX
cet-9877	103	7	used	use	VERB
cet-9877	103	8	to	to	PART
cet-9877	103	9	validate	validate	VERB
cet-9877	103	10	the	the	DET
cet-9877	103	11	candidate	candidate	NOUN
cet-9877	103	12	sfcs	sfc	NOUN
cet-9877	103	13	.	.	PUNCT
cet-9877	104	1	finally	finally	ADV
cet-9877	104	2	,	,	PUNCT
cet-9877	104	3	it	it	PRON
cet-9877	104	4	should	should	AUX
cet-9877	104	5	be	be	AUX
cet-9877	104	6	emphasized	emphasize	VERB
cet-9877	104	7	that	that	SCONJ
cet-9877	104	8	this	this	DET
cet-9877	104	9	approach	approach	NOUN
cet-9877	104	10	has	have	AUX
cet-9877	104	11	also	also	ADV
cet-9877	104	12	been	be	AUX
cet-9877	104	13	tested	test	VERB
cet-9877	104	14	successfully	successfully	ADV
cet-9877	104	15	on	on	ADP
cet-9877	104	16	other	other	ADJ
cet-9877	104	17	more	more	ADV
cet-9877	104	18	realistic	realistic	ADJ
cet-9877	104	19	cases	case	NOUN
cet-9877	104	20	,	,	PUNCT
cet-9877	104	21	such	such	ADJ
cet-9877	104	22	as	as	ADP
cet-9877	104	23	the	the	DET
cet-9877	104	24	batch	batch	NOUN
cet-9877	104	25	reaction	reaction	NOUN
cet-9877	104	26	process	process	NOUN
cet-9877	104	27	and	and	CCONJ
cet-9877	104	28	the	the	DET
cet-9877	104	29	distillation	distillation	NOUN
cet-9877	104	30	startup	startup	NOUN
cet-9877	104	31	operation	operation	NOUN
cet-9877	104	32	.	.	PUNCT
cet-9877	105	1	references	reference	NOUN
cet-9877	105	2	åkesson	åkesson	PROPN
cet-9877	105	3	,	,	PUNCT
cet-9877	105	4	k.	k.	PROPN
cet-9877	105	5	,	,	PUNCT
cet-9877	105	6	fabian	fabian	PROPN
cet-9877	105	7	,	,	PUNCT
cet-9877	105	8	m.	m.	NOUN
cet-9877	105	9	,	,	PUNCT
cet-9877	105	10	malik	malik	PROPN
cet-9877	105	11	,	,	PUNCT
cet-9877	105	12	r.	r.	PROPN
cet-9877	105	13	2006	2006	NUM
cet-9877	105	14	supremica	supremica	ADV
cet-9877	105	15	–	–	PUNCT
cet-9877	105	16	an	an	DET
cet-9877	105	17	integrated	integrate	VERB
cet-9877	105	18	environment	environment	NOUN
cet-9877	105	19	for	for	ADP
cet-9877	105	20	verification	verification	NOUN
cet-9877	105	21	,	,	PUNCT
cet-9877	105	22	synthesis	synthesis	NOUN
cet-9877	105	23	and	and	CCONJ
cet-9877	105	24	simulation	simulation	NOUN
cet-9877	105	25	of	of	ADP
cet-9877	105	26	discrete	discrete	ADJ
cet-9877	105	27	event	event	NOUN
cet-9877	105	28	systems	system	NOUN
cet-9877	105	29	.	.	PUNCT
cet-9877	106	1	proceedings	proceeding	NOUN
cet-9877	106	2	of	of	ADP
cet-9877	106	3	the	the	DET
cet-9877	106	4	8th	8th	ADJ
cet-9877	106	5	international	international	ADJ
cet-9877	106	6	workshop	workshop	NOUN
cet-9877	106	7	on	on	ADP
cet-9877	106	8	discrete	discrete	ADJ
cet-9877	106	9	event	event	NOUN
cet-9877	106	10	systems	system	NOUN
cet-9877	106	11	,	,	PUNCT
cet-9877	106	12	ieee	ieee	NOUN
cet-9877	106	13	.	.	PUNCT
cet-9877	106	14	384	384	NUM
cet-9877	106	15	-	-	SYM
cet-9877	106	16	385	385	NUM
cet-9877	106	17	.	.	PUNCT
cet-9877	107	1	li	li	PROPN
cet-9877	107	2	,	,	PUNCT
cet-9877	107	3	j.h	j.h	PROPN
cet-9877	107	4	.	.	PROPN
cet-9877	107	5	,	,	PUNCT
cet-9877	107	6	chang	chang	PROPN
cet-9877	107	7	,	,	PUNCT
cet-9877	107	8	c.t	c.t	PROPN
cet-9877	107	9	.	.	PROPN
cet-9877	107	10	,	,	PUNCT
cet-9877	107	11	jiang	jiang	PROPN
cet-9877	107	12	,	,	PUNCT
cet-9877	107	13	d.	d.	PROPN
cet-9877	107	14	,	,	PUNCT
cet-9877	107	15	2014	2014	NUM
cet-9877	107	16	,	,	PUNCT
cet-9877	107	17	systematic	systematic	ADJ
cet-9877	107	18	generation	generation	NOUN
cet-9877	107	19	of	of	ADP
cet-9877	107	20	cyclic	cyclic	ADJ
cet-9877	107	21	operating	operating	NOUN
cet-9877	107	22	procedures	procedure	NOUN
cet-9877	107	23	based	base	VERB
cet-9877	107	24	on	on	ADP
cet-9877	107	25	timed	time	VERB
cet-9877	107	26	automata	automata	NOUN
cet-9877	107	27	.	.	PUNCT
cet-9877	108	1	chemical	chemical	NOUN
cet-9877	108	2	engineering	engineering	PROPN
cet-9877	108	3	research	research	NOUN
cet-9877	108	4	and	and	CCONJ
cet-9877	108	5	design	design	NOUN
cet-9877	108	6	,	,	PUNCT
cet-9877	108	7	92	92	NUM
cet-9877	108	8	,	,	PUNCT
cet-9877	108	9	139	139	NUM
cet-9877	108	10	–	–	SYM
cet-9877	108	11	155	155	NUM
cet-9877	108	12	.	.	PUNCT
cet-9877	109	1	lu	lu	PROPN
cet-9877	109	2	,	,	PUNCT
cet-9877	109	3	y.c	y.c	PROPN
cet-9877	109	4	.	.	PROPN
cet-9877	109	5	,	,	PUNCT
cet-9877	109	6	chen	chen	PROPN
cet-9877	109	7	,	,	PUNCT
cet-9877	109	8	z.l	z.l	PROPN
cet-9877	109	9	.	.	PROPN
cet-9877	109	10	,	,	PUNCT
cet-9877	109	11	lee	lee	PROPN
cet-9877	109	12	,	,	PUNCT
cet-9877	109	13	h.y	h.y	PROPN
cet-9877	109	14	.	.	PROPN
cet-9877	109	15	,	,	PUNCT
cet-9877	109	16	2017	2017	NUM
cet-9877	109	17	,	,	PUNCT
cet-9877	109	18	optimal	optimal	ADJ
cet-9877	109	19	start	start	NOUN
cet-9877	109	20	-	-	PUNCT
cet-9877	109	21	up	up	ADP
cet-9877	109	22	strategies	strategy	NOUN
cet-9877	109	23	for	for	ADP
cet-9877	109	24	a	a	DET
cet-9877	109	25	conventional	conventional	ADJ
cet-9877	109	26	distillation	distillation	NOUN
cet-9877	109	27	column	column	NOUN
cet-9877	109	28	using	use	VERB
cet-9877	109	29	simulated	simulate	VERB
cet-9877	109	30	annealing	annealing	NOUN
cet-9877	109	31	.	.	PUNCT
cet-9877	110	1	chemical	chemical	NOUN
cet-9877	110	2	engineering	engineering	NOUN
cet-9877	110	3	transactions	transaction	NOUN
cet-9877	110	4	.	.	PUNCT
cet-9877	111	1	61	61	NUM
cet-9877	111	2	,	,	PUNCT
cet-9877	111	3	901	901	NUM
cet-9877	111	4	-	-	SYM
cet-9877	111	5	906	906	NUM
cet-9877	111	6	.	.	PUNCT
cet-9877	112	1	672	672	NUM