Toward a Definition of Modeling Power for Stochastic Petri Net Models

Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions

IEEE Transactions on Software Engineering

Composing, analyzing and validating software models to assess the performability of competing design candidates

Annals of Software Engineering

Stochastic Petri nets applied to the performance evaluation of static task allocations in heterogeneous computing environments

HCW '97 Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97)

Simulation of Task Graph Systems in Heterogeneous Computing Environments

HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop

On the success of stochastic Petri nets

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

On the Generality of Event-Graph Models

INFORMS Journal on Computing

Continuous Petri nets: expressive power and decidability issues

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis