Mariken H.C. Everdij

Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

Mariken H.C. Everdij, H.A.P. Blom · Stochastics · 2005 · 53 citations

Petri Net, Engineering, Complex Systems +17

Agent-based modeling and simulation of emergent behavior in air transportation

Soufiane Bouarfa, H.A.P. Blom, Richard Curran et al. · Complex Adaptive Systems Modeling · 2013 · 51 citations · Full text

Engineering, Agent Decision-making, Transportation Systems Modeling +20

Collision risk modeling of air traffic

H.A.P. Blom, Bert Bakker, Mariken H.C. Everdij et al. · 2003 · 41 citations

Engineering, Safety Science, Injury Prevention +19

Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models

Mariken H.C. Everdij, H.A.P. Blom · IFAC Proceedings Volumes · 2003 · 38 citations

Petri Net, Reliability Engineering, Engineering +10

Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

Fedja Netjasov, Andrija Vidosavljević, Vojin S. Tosic et al. · Transportation Research Part C Emerging Technologies · 2012 · 30 citations

Safety Engineering, Petri Net, Reliability Engineering +14