A Petri net based methodology to integrate qualitative and quantitative analysis

This publication has 7 references indexed in Scilit:

• Prelude: A System for Portable Parallel Software
  Published by Defense Technical Information Center (DTIC) ,1991
• The processor working set and its use in scheduling multiprocessor systems
  IEEE Transactions on Software Engineering, 1991
• Measuring parallelism in computation-intensive scientific/engineering applications
  IEEE Transactions on Computers, 1988
• Debugging Parallel Programs with Instant Replay
  IEEE Transactions on Computers, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A probe effect in concurrent programs
  Software: Practice and Experience, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984