Manuel Silva Interleaving Functional and Performance Structural Analysis of Net Models. 17-23 1993 conf/apn/1993 Application and Theory of Petri Nets db/conf/apn/apn93.html#Silva93 http://dx.doi.org/10.1007/3-540-56863-8_37