Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R. Transition systems and testing preorders : an alternative to Petri Nets for systems specifications. In: Information Processing 86 : IFIP 10th World Computer Congress. (Dublin, Ireland, 1 - 5 September 1986). Proceedings, pp. 833 - 836. H.J. Kugler (ed.). North-Holland, 1986.
The models of concurrency which have been proposed in the last ten years can be divided in two broad groups: models based on arbitrary interleavings and models based on partial orderings of elementary actions. Labelled Transition Systems and Petri Nets are two, widely used, representatives of these two groups. We discuss their relationships and their impact on formal specifications of systems and on proof of systems properties. In particular, we show how transition systems naturally support a theory of preorders which allows to prove whether a system is a satisfactory approximation of another, whether an implementation satisfies a specification and whether a subsystem can be substituted by another without affecting the overall behaviour.
Subject Transition System

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional