id	sid	tid	token	lemma	pos
pc289g57966	1	1	this	this	DET
pc289g57966	1	2	dissertation	dissertation	NOUN
pc289g57966	1	3	proposes	propose	VERB
pc289g57966	1	4	new	new	ADJ
pc289g57966	1	5	methodologies	methodology	NOUN
pc289g57966	1	6	for	for	ADP
pc289g57966	1	7	the	the	DET
pc289g57966	1	8	supervisory	supervisory	ADJ
pc289g57966	1	9	control	control	NOUN
pc289g57966	1	10	of	of	ADP
pc289g57966	1	11	concurrent	concurrent	ADJ
pc289g57966	1	12	systems	system	NOUN
pc289g57966	1	13	.	.	PUNCT
pc289g57966	2	1	the	the	DET
pc289g57966	2	2	focus	focus	NOUN
pc289g57966	2	3	of	of	ADP
pc289g57966	2	4	this	this	DET
pc289g57966	2	5	work	work	NOUN
pc289g57966	2	6	is	be	AUX
pc289g57966	2	7	on	on	ADP
pc289g57966	2	8	discrete	discrete	ADJ
pc289g57966	2	9	-	-	PUNCT
pc289g57966	2	10	event	event	NOUN
pc289g57966	2	11	concurrent	concurrent	ADJ
pc289g57966	2	12	systems	system	NOUN
pc289g57966	2	13	.	.	PUNCT
pc289g57966	3	1	however	however	ADV
pc289g57966	3	2	,	,	PUNCT
pc289g57966	3	3	the	the	DET
pc289g57966	3	4	extension	extension	NOUN
pc289g57966	3	5	of	of	ADP
pc289g57966	3	6	the	the	DET
pc289g57966	3	7	discrete	discrete	ADJ
pc289g57966	3	8	-	-	PUNCT
pc289g57966	3	9	event	event	NOUN
pc289g57966	3	10	methods	method	NOUN
pc289g57966	3	11	to	to	ADP
pc289g57966	3	12	concurrent	concurrent	ADJ
pc289g57966	3	13	systems	system	NOUN
pc289g57966	3	14	with	with	ADP
pc289g57966	3	15	continuous	continuous	ADJ
pc289g57966	3	16	dynamics	dynamic	NOUN
pc289g57966	3	17	is	be	AUX
pc289g57966	3	18	also	also	ADV
pc289g57966	3	19	approached	approach	VERB
pc289g57966	3	20	.	.	PUNCT
pc289g57966	4	1	petri	petri	ADJ
pc289g57966	4	2	nets	net	NOUN
pc289g57966	4	3	are	be	AUX
pc289g57966	4	4	a	a	DET
pc289g57966	4	5	convenient	convenient	ADJ
pc289g57966	4	6	discrete	discrete	ADJ
pc289g57966	4	7	-	-	PUNCT
pc289g57966	4	8	event	event	NOUN
pc289g57966	4	9	representation	representation	NOUN
pc289g57966	4	10	of	of	ADP
pc289g57966	4	11	concurrent	concurrent	ADJ
pc289g57966	4	12	systems	system	NOUN
pc289g57966	4	13	,	,	PUNCT
pc289g57966	4	14	and	and	CCONJ
pc289g57966	4	15	are	be	AUX
pc289g57966	4	16	used	use	VERB
pc289g57966	4	17	here	here	ADV
pc289g57966	4	18	for	for	ADP
pc289g57966	4	19	the	the	DET
pc289g57966	4	20	modeling	modeling	NOUN
pc289g57966	4	21	of	of	ADP
pc289g57966	4	22	concurrent	concurrent	ADJ
pc289g57966	4	23	systems	system	NOUN
pc289g57966	4	24	.	.	PUNCT
pc289g57966	5	1	several	several	ADJ
pc289g57966	5	2	discrete	discrete	ADJ
pc289g57966	5	3	-	-	PUNCT
pc289g57966	5	4	event	event	NOUN
pc289g57966	5	5	supervisory	supervisory	ADJ
pc289g57966	5	6	control	control	NOUN
pc289g57966	5	7	problems	problem	NOUN
pc289g57966	5	8	are	be	AUX
pc289g57966	5	9	approached	approach	VERB
pc289g57966	5	10	here	here	ADV
pc289g57966	5	11	.	.	PUNCT
pc289g57966	6	1	first	first	ADV
pc289g57966	6	2	,	,	PUNCT
pc289g57966	6	3	the	the	DET
pc289g57966	6	4	enforcement	enforcement	NOUN
pc289g57966	6	5	of	of	ADP
pc289g57966	6	6	specifications	specification	NOUN
pc289g57966	6	7	described	describe	VERB
pc289g57966	6	8	as	as	ADP
pc289g57966	6	9	linear	linear	ADJ
pc289g57966	6	10	inequalities	inequality	NOUN
pc289g57966	6	11	in	in	ADP
pc289g57966	6	12	terms	term	NOUN
pc289g57966	6	13	of	of	ADP
pc289g57966	6	14	three	three	NUM
pc289g57966	6	15	petri	petri	ADJ
pc289g57966	6	16	net	net	ADJ
pc289g57966	6	17	parameters	parameter	NOUN
pc289g57966	6	18	is	be	AUX
pc289g57966	6	19	considered	consider	VERB
pc289g57966	6	20	.	.	PUNCT
pc289g57966	7	1	then	then	ADV
pc289g57966	7	2	,	,	PUNCT
pc289g57966	7	3	the	the	DET
pc289g57966	7	4	decentralized	decentralized	ADJ
pc289g57966	7	5	supervisory	supervisory	ADJ
pc289g57966	7	6	control	control	NOUN
pc289g57966	7	7	problem	problem	NOUN
pc289g57966	7	8	is	be	AUX
pc289g57966	7	9	considered	consider	VERB
pc289g57966	7	10	for	for	ADP
pc289g57966	7	11	specifications	specification	NOUN
pc289g57966	7	12	described	describe	VERB
pc289g57966	7	13	by	by	ADP
pc289g57966	7	14	linear	linear	ADJ
pc289g57966	7	15	marking	marking	NOUN
pc289g57966	7	16	inequalities	inequality	NOUN
pc289g57966	7	17	.	.	PUNCT
pc289g57966	8	1	the	the	DET
pc289g57966	8	2	decentralized	decentralized	ADJ
pc289g57966	8	3	supervision	supervision	NOUN
pc289g57966	8	4	problem	problem	NOUN
pc289g57966	8	5	is	be	AUX
pc289g57966	8	6	approached	approach	VERB
pc289g57966	8	7	in	in	ADP
pc289g57966	8	8	three	three	NUM
pc289g57966	8	9	settings	setting	NOUN
pc289g57966	8	10	:	:	PUNCT
pc289g57966	8	11	no	no	DET
pc289g57966	8	12	communication	communication	NOUN
pc289g57966	8	13	,	,	PUNCT
pc289g57966	8	14	unrestricted	unrestricted	ADJ
pc289g57966	8	15	communication	communication	NOUN
pc289g57966	8	16	,	,	PUNCT
pc289g57966	8	17	and	and	CCONJ
pc289g57966	8	18	restricted	restrict	VERB
pc289g57966	8	19	communication	communication	NOUN
pc289g57966	8	20	.	.	PUNCT
pc289g57966	9	1	finally	finally	ADV
pc289g57966	9	2	,	,	PUNCT
pc289g57966	9	3	procedures	procedure	NOUN
pc289g57966	9	4	for	for	ADP
pc289g57966	9	5	deadlock	deadlock	NOUN
pc289g57966	9	6	prevention	prevention	NOUN
pc289g57966	9	7	and	and	CCONJ
pc289g57966	9	8	liveness	liveness	NOUN
pc289g57966	9	9	enforcement	enforcement	NOUN
pc289g57966	9	10	are	be	AUX
pc289g57966	9	11	presented	present	VERB
pc289g57966	9	12	.	.	PUNCT
pc289g57966	10	1	additionally	additionally	ADV
pc289g57966	10	2	,	,	PUNCT
pc289g57966	10	3	new	new	ADJ
pc289g57966	10	4	results	result	NOUN
pc289g57966	10	5	relating	relate	VERB
pc289g57966	10	6	deadlock	deadlock	NOUN
pc289g57966	10	7	and	and	CCONJ
pc289g57966	10	8	liveness	liveness	NOUN
pc289g57966	10	9	to	to	ADP
pc289g57966	10	10	the	the	DET
pc289g57966	10	11	structure	structure	NOUN
pc289g57966	10	12	of	of	ADP
pc289g57966	10	13	a	a	DET
pc289g57966	10	14	petri	petri	ADJ
pc289g57966	10	15	net	net	NOUN
pc289g57966	10	16	are	be	AUX
pc289g57966	10	17	also	also	ADV
pc289g57966	10	18	presented	present	VERB
pc289g57966	10	19	.	.	PUNCT
pc289g57966	11	1	the	the	DET
pc289g57966	11	2	main	main	ADJ
pc289g57966	11	3	feature	feature	NOUN
pc289g57966	11	4	of	of	ADP
pc289g57966	11	5	the	the	DET
pc289g57966	11	6	supervision	supervision	NOUN
pc289g57966	11	7	methods	method	NOUN
pc289g57966	11	8	proposed	propose	VERB
pc289g57966	11	9	in	in	ADP
pc289g57966	11	10	this	this	DET
pc289g57966	11	11	dissertation	dissertation	NOUN
pc289g57966	11	12	is	be	AUX
pc289g57966	11	13	that	that	SCONJ
pc289g57966	11	14	they	they	PRON
pc289g57966	11	15	rely	rely	VERB
pc289g57966	11	16	on	on	ADP
pc289g57966	11	17	the	the	DET
pc289g57966	11	18	structure	structure	NOUN
pc289g57966	11	19	of	of	ADP
pc289g57966	11	20	the	the	DET
pc289g57966	11	21	petri	petri	ADJ
pc289g57966	11	22	net	net	NOUN
pc289g57966	11	23	.	.	PUNCT
pc289g57966	12	1	this	this	DET
pc289g57966	12	2	structural	structural	ADJ
pc289g57966	12	3	approach	approach	NOUN
pc289g57966	12	4	has	have	VERB
pc289g57966	12	5	computational	computational	ADJ
pc289g57966	12	6	benefits	benefit	NOUN
pc289g57966	12	7	and	and	CCONJ
pc289g57966	12	8	allows	allow	VERB
pc289g57966	12	9	the	the	DET
pc289g57966	12	10	supervisor	supervisor	NOUN
pc289g57966	12	11	design	design	NOUN
pc289g57966	12	12	to	to	PART
pc289g57966	12	13	be	be	AUX
pc289g57966	12	14	independent	independent	ADJ
pc289g57966	12	15	of	of	ADP
pc289g57966	12	16	the	the	DET
pc289g57966	12	17	initial	initial	ADJ
pc289g57966	12	18	state	state	NOUN
pc289g57966	12	19	of	of	ADP
pc289g57966	12	20	the	the	DET
pc289g57966	12	21	system	system	NOUN
pc289g57966	12	22	.	.	PUNCT
pc289g57966	13	1	the	the	DET
pc289g57966	13	2	methods	method	NOUN
pc289g57966	13	3	are	be	AUX
pc289g57966	13	4	given	give	VERB
pc289g57966	13	5	in	in	ADP
pc289g57966	13	6	a	a	DET
pc289g57966	13	7	general	general	ADJ
pc289g57966	13	8	supervision	supervision	NOUN
pc289g57966	13	9	setting	setting	NOUN
pc289g57966	13	10	,	,	PUNCT
pc289g57966	13	11	which	which	PRON
pc289g57966	13	12	makes	make	VERB
pc289g57966	13	13	no	no	DET
pc289g57966	13	14	assumptions	assumption	NOUN
pc289g57966	13	15	on	on	ADP
pc289g57966	13	16	the	the	DET
pc289g57966	13	17	structure	structure	NOUN
pc289g57966	13	18	of	of	ADP
pc289g57966	13	19	the	the	DET
pc289g57966	13	20	petri	petri	ADJ
pc289g57966	13	21	nets	net	NOUN
pc289g57966	13	22	and	and	CCONJ
pc289g57966	13	23	allows	allow	VERB
pc289g57966	13	24	partial	partial	ADJ
pc289g57966	13	25	controllability	controllability	NOUN
pc289g57966	13	26	and	and	CCONJ
pc289g57966	13	27	partial	partial	ADJ
pc289g57966	13	28	observability	observability	NOUN
pc289g57966	13	29	to	to	PART
pc289g57966	13	30	be	be	AUX
pc289g57966	13	31	present	present	ADJ
pc289g57966	13	32	.	.	PUNCT
pc289g57966	14	1	this	this	DET
pc289g57966	14	2	dissertation	dissertation	NOUN
pc289g57966	14	3	addresses	address	VERB
pc289g57966	14	4	also	also	ADV
pc289g57966	14	5	the	the	DET
pc289g57966	14	6	supervisory	supervisory	ADJ
pc289g57966	14	7	control	control	NOUN
pc289g57966	14	8	problem	problem	NOUN
pc289g57966	14	9	in	in	ADP
pc289g57966	14	10	the	the	DET
pc289g57966	14	11	more	more	ADV
pc289g57966	14	12	general	general	ADJ
pc289g57966	14	13	framework	framework	NOUN
pc289g57966	14	14	of	of	ADP
pc289g57966	14	15	hybrid	hybrid	ADJ
pc289g57966	14	16	systems	system	NOUN
pc289g57966	14	17	,	,	PUNCT
pc289g57966	14	18	that	that	ADV
pc289g57966	14	19	is	is	ADV
pc289g57966	14	20	,	,	PUNCT
pc289g57966	14	21	systems	system	NOUN
pc289g57966	14	22	involving	involve	VERB
pc289g57966	14	23	both	both	PRON
pc289g57966	14	24	discrete	discrete	ADJ
pc289g57966	14	25	-	-	PUNCT
pc289g57966	14	26	event	event	NOUN
pc289g57966	14	27	and	and	CCONJ
pc289g57966	14	28	continuous	continuous	ADJ
pc289g57966	14	29	dynamics	dynamic	NOUN
pc289g57966	14	30	.	.	PUNCT
pc289g57966	15	1	a	a	DET
pc289g57966	15	2	two	two	NUM
pc289g57966	15	3	-	-	PUNCT
pc289g57966	15	4	level	level	NOUN
pc289g57966	15	5	approach	approach	NOUN
pc289g57966	15	6	is	be	AUX
pc289g57966	15	7	proposed	propose	VERB
pc289g57966	15	8	.	.	PUNCT
pc289g57966	16	1	the	the	DET
pc289g57966	16	2	lower	low	ADJ
pc289g57966	16	3	level	level	NOUN
pc289g57966	16	4	design	design	NOUN
pc289g57966	16	5	is	be	AUX
pc289g57966	16	6	concerned	concern	VERB
pc289g57966	16	7	with	with	ADP
pc289g57966	16	8	the	the	DET
pc289g57966	16	9	development	development	NOUN
pc289g57966	16	10	of	of	ADP
pc289g57966	16	11	controllers	controller	NOUN
pc289g57966	16	12	for	for	ADP
pc289g57966	16	13	the	the	DET
pc289g57966	16	14	continuous	continuous	ADJ
pc289g57966	16	15	part	part	NOUN
pc289g57966	16	16	of	of	ADP
pc289g57966	16	17	the	the	DET
pc289g57966	16	18	hybrid	hybrid	NOUN
pc289g57966	16	19	systems	system	NOUN
pc289g57966	16	20	.	.	PUNCT
pc289g57966	17	1	the	the	DET
pc289g57966	17	2	higher	high	ADJ
pc289g57966	17	3	level	level	NOUN
pc289g57966	17	4	design	design	NOUN
pc289g57966	17	5	is	be	AUX
pc289g57966	17	6	concerned	concern	VERB
pc289g57966	17	7	with	with	ADP
pc289g57966	17	8	the	the	DET
pc289g57966	17	9	design	design	NOUN
pc289g57966	17	10	of	of	ADP
pc289g57966	17	11	a	a	DET
pc289g57966	17	12	supervisor	supervisor	NOUN
pc289g57966	17	13	coordinating	coordinate	VERB
pc289g57966	17	14	the	the	DET
pc289g57966	17	15	operation	operation	NOUN
pc289g57966	17	16	of	of	ADP
pc289g57966	17	17	the	the	DET
pc289g57966	17	18	lower	low	ADJ
pc289g57966	17	19	level	level	NOUN
pc289g57966	17	20	controllers	controller	NOUN
pc289g57966	17	21	,	,	PUNCT
pc289g57966	17	22	according	accord	VERB
pc289g57966	17	23	to	to	ADP
pc289g57966	17	24	given	give	VERB
pc289g57966	17	25	discrete	discrete	ADJ
pc289g57966	17	26	-	-	PUNCT
pc289g57966	17	27	event	event	NOUN
pc289g57966	17	28	specifications	specification	NOUN
pc289g57966	17	29	.	.	PUNCT
pc289g57966	18	1	at	at	ADP
pc289g57966	18	2	the	the	DET
pc289g57966	18	3	higher	high	ADJ
pc289g57966	18	4	level	level	NOUN
pc289g57966	18	5	the	the	DET
pc289g57966	18	6	controlled	control	VERB
pc289g57966	18	7	hybrid	hybrid	NOUN
pc289g57966	18	8	systems	system	NOUN
pc289g57966	18	9	are	be	AUX
pc289g57966	18	10	abstracted	abstract	VERB
pc289g57966	18	11	as	as	ADP
pc289g57966	18	12	petri	petri	ADJ
pc289g57966	18	13	nets	net	NOUN
pc289g57966	18	14	.	.	PUNCT
pc289g57966	19	1	petri	petri	ADJ
pc289g57966	19	2	net	net	ADJ
pc289g57966	19	3	methodologies	methodology	NOUN
pc289g57966	19	4	can	can	AUX
pc289g57966	19	5	then	then	ADV
pc289g57966	19	6	be	be	AUX
pc289g57966	19	7	applied	apply	VERB
pc289g57966	19	8	to	to	PART
pc289g57966	19	9	design	design	VERB
pc289g57966	19	10	the	the	DET
pc289g57966	19	11	appropriate	appropriate	ADJ
pc289g57966	19	12	supervisor	supervisor	NOUN
pc289g57966	19	13	.	.	PUNCT
pc289g57966	20	1	the	the	DET
pc289g57966	20	2	discrete	discrete	ADJ
pc289g57966	20	3	-	-	PUNCT
pc289g57966	20	4	event	event	NOUN
pc289g57966	20	5	setting	setting	NOUN
pc289g57966	20	6	here	here	ADV
pc289g57966	20	7	is	be	AUX
pc289g57966	20	8	extended	extend	VERB
pc289g57966	20	9	to	to	PART
pc289g57966	20	10	model	model	VERB
pc289g57966	20	11	some	some	PRON
pc289g57966	20	12	of	of	ADP
pc289g57966	20	13	the	the	DET
pc289g57966	20	14	hard	hard	ADJ
pc289g57966	20	15	constraints	constraint	NOUN
pc289g57966	20	16	arising	arise	VERB
pc289g57966	20	17	in	in	ADP
pc289g57966	20	18	the	the	DET
pc289g57966	20	19	supervision	supervision	NOUN
pc289g57966	20	20	of	of	ADP
pc289g57966	20	21	hybrid	hybrid	ADJ
pc289g57966	20	22	systems	system	NOUN
pc289g57966	20	23	.	.	PUNCT
pc289g57966	21	1	extensions	extension	NOUN
pc289g57966	21	2	of	of	ADP
pc289g57966	21	3	discrete	discrete	ADJ
pc289g57966	21	4	-	-	PUNCT
pc289g57966	21	5	event	event	NOUN
pc289g57966	21	6	methods	method	NOUN
pc289g57966	21	7	to	to	ADP
pc289g57966	21	8	this	this	DET
pc289g57966	21	9	setting	setting	NOUN
pc289g57966	21	10	are	be	AUX
pc289g57966	21	11	also	also	ADV
pc289g57966	21	12	approached	approach	VERB
pc289g57966	21	13	.	.	PUNCT
pc289g57966	22	1	finally	finally	ADV
pc289g57966	22	2	,	,	PUNCT
pc289g57966	22	3	the	the	DET
pc289g57966	22	4	controller	controller	NOUN
pc289g57966	22	5	design	design	NOUN
pc289g57966	22	6	at	at	ADP
pc289g57966	22	7	the	the	DET
pc289g57966	22	8	lower	low	ADJ
pc289g57966	22	9	level	level	NOUN
pc289g57966	22	10	is	be	AUX
pc289g57966	22	11	considered	consider	VERB
pc289g57966	22	12	in	in	ADP
pc289g57966	22	13	a	a	DET
pc289g57966	22	14	discrete	discrete	ADJ
pc289g57966	22	15	-	-	PUNCT
pc289g57966	22	16	time	time	NOUN
pc289g57966	22	17	setting	setting	NOUN
pc289g57966	22	18	.	.	PUNCT
pc289g57966	23	1	the	the	DET
pc289g57966	23	2	controller	controller	NOUN
pc289g57966	23	3	design	design	NOUN
pc289g57966	23	4	produces	produce	VERB
pc289g57966	23	5	both	both	CCONJ
pc289g57966	23	6	a	a	DET
pc289g57966	23	7	controller	controller	NOUN
pc289g57966	23	8	and	and	CCONJ
pc289g57966	23	9	a	a	DET
pc289g57966	23	10	petri	petri	ADJ
pc289g57966	23	11	net	net	ADJ
pc289g57966	23	12	abstraction	abstraction	NOUN
pc289g57966	23	13	for	for	ADP
pc289g57966	23	14	the	the	DET
pc289g57966	23	15	higher	high	ADJ
pc289g57966	23	16	level	level	NOUN
pc289g57966	23	17	.	.	PUNCT
pc289g57966	24	1	this	this	DET
pc289g57966	24	2	dissertation	dissertation	NOUN
pc289g57966	24	3	aims	aim	VERB
pc289g57966	24	4	to	to	PART
pc289g57966	24	5	contribute	contribute	VERB
pc289g57966	24	6	to	to	ADP
pc289g57966	24	7	the	the	DET
pc289g57966	24	8	automated	automate	VERB
pc289g57966	24	9	design	design	NOUN
pc289g57966	24	10	of	of	ADP
pc289g57966	24	11	controllers	controller	NOUN
pc289g57966	24	12	for	for	ADP
pc289g57966	24	13	complex	complex	ADJ
pc289g57966	24	14	systems	system	NOUN
pc289g57966	24	15	.	.	PUNCT
pc289g57966	25	1	this	this	DET
pc289g57966	25	2	work	work	NOUN
pc289g57966	25	3	is	be	AUX
pc289g57966	25	4	believed	believe	VERB
pc289g57966	25	5	to	to	PART
pc289g57966	25	6	be	be	AUX
pc289g57966	25	7	relevant	relevant	ADJ
pc289g57966	25	8	for	for	ADP
pc289g57966	25	9	applications	application	NOUN
pc289g57966	25	10	in	in	ADP
pc289g57966	25	11	a	a	DET
pc289g57966	25	12	variety	variety	NOUN
pc289g57966	25	13	of	of	ADP
pc289g57966	25	14	areas	area	NOUN
pc289g57966	25	15	,	,	PUNCT
pc289g57966	25	16	including	include	VERB
pc289g57966	25	17	automated	automate	VERB
pc289g57966	25	18	manufacturing	manufacturing	NOUN
pc289g57966	25	19	,	,	PUNCT
pc289g57966	25	20	robotics	robotic	NOUN
pc289g57966	25	21	,	,	PUNCT
pc289g57966	25	22	computer	computer	NOUN
pc289g57966	25	23	networks	network	NOUN
pc289g57966	25	24	,	,	PUNCT
pc289g57966	25	25	and	and	CCONJ
pc289g57966	25	26	traffic	traffic	NOUN
pc289g57966	25	27	control	control	NOUN
pc289g57966	25	28	.	.	PUNCT