Home
 

Elementary structural analysis for PEPA

Stephen Gilmore, Jane Hillston and Laura Recalde

Abstract:

We consider the adaptation of important structural techniques for analysing behavioural properties of Petri nets to models expressed in process algebras such as PEPA.

ECS-LFCS-97-377.

This report is available in the following formats:

Previous | Index | Next