Boudewijn R.H.M. Haverkort

prof.dr.ir.

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

Research Output 1990 2019

Filter
PhD Thesis - Research external, graduation UT
2010
13 Downloads (Pure)

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

Open Access
File
Petri nets
Modular construction
Markov processes
Synchronization
Air