Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Cremonese P. The weakness of some timed models for concurrent systems. Internal note CNUCE-B4-89-029, 1989.
A know extension of the Petri net model and a recently proposed extension of the LOTOS specification language are considered. Both formalisms are meant to allow one to specify time constrains in describing the behaviour of concurrent systems. In spite of their " superficial" differences, these two extended formalisms define the timing of synchronization events in essentially the same way; we prove, in the context of Petri nets, that such timing mechanism offers "weak" expressiveness, in the sense that, contrary to the Time Petri Nets model proposed by Merlin, such timed nets cannot simulate Turing machines.
Subject Concurrent systems

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