Integrating Petri Nets and Troll in the Modeling of Engineering Systems Conference Paper 2001 uri icon