Can I read Analyzing refinements of state based specifications: the case of TB nets on EtoBox?

Analyzing refinements of state based specifications: the case of TB nets by Miguel Felder; Carlo Ghezzi; Mauro Pezzè is a scholarly article available to read on EtoBox.

What is Analyzing refinements of state based specifications: the case of TB nets about?

We describe how formal specifications given in terms of a high-level timed Petri net formalism (TB nets) can be analyzed to check the temporal properties of bounded \* This material is based upon work supported by the Esprit project IPTES, and by the Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo (CNR).

Author

Miguel Felder; Carlo Ghezzi; Mauro Pezzè

Publisher

ACM

Published

1993

Language

EN