Integrating Petri Nets and Troll in the Modeling of Engineering Systems Conference Paper 2001 Congress communication

Overview

authors

Einer S.
GRAU VAZQUEZ, ANTONIO JOSE

publication date

2001

output of process or event

IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Conference