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 An error occured whilst processing this directive