In terms of nets : system design with Petri nets and process algebra

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

316 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor van Hee, Kees, Promotor
Award date	3 Dec 1998
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0631-1
DOIs	https://doi.org/10.6100/IR516117
Publication status	Published - 1998

Access to Document

@phdthesis{30090a6ad6724b079d557c160ed0869c,

title = "In terms of nets : system design with Petri nets and process algebra",

author = "T. Basten",

year = "1998",

doi = "10.6100/IR516117",

language = "English",

isbn = "90-386-0631-1",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}