The use of Petri net theory for simplexys expert systems protocol checking

J.O. Lammers, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)

Research output: Thesis › EngD Thesis

96 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution
Supervisors/Advisors	Beneken, Jan, Supervisor Blom, Hans, Supervisor
Award date	1 Jan 1990
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-6144-238-9
Publication status	Published - 1990

Eindverslag

Access to Document

@phdthesis{376870b4b3184daebe9aac66486b33cf,

title = "The use of Petri net theory for simplexys expert systems protocol checking",

author = "J.O. Lammers and {Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)}",

note = "Eindverslag",

year = "1990",

language = "English",

isbn = "90-6144-238-9",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}