Boudewijn R.H.M. Haverkort

prof.dr.ir.

1990 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Filter
PhD Thesis - Research external, graduation UT
2010

Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes

Everdij, M. H. C., 11 Jun 2010, Enschede: Universiteit Twente. 199 p.

Research output: ThesisPhD Thesis - Research external, graduation UTAcademic

File
Petri nets
Modular construction
Markov processes
Synchronization
Air