Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems (Contributo in atti di convegno) (literal)

Anno

• 1997-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/WFCS.1997.634358 (literal)

Alternative label

• L. Durante; R. Sisto; A. Valenzano (1997)
  Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems
  in 2nd IEEE International Workshop on Factory Communication Systems (WFCS 1997), Barcelona, 1-3 Ottobre 1997
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• L. Durante; R. Sisto; A. Valenzano (literal)

Pagina inizio

• 71 (literal)

Pagina fine

• 80 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=634358 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 10 (literal)

Note

• Google Scholar (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• L. Durante, R. Sisto: Dip, di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaboraszione Numerale dei Segnali, CENS-CNR, Torino, Italy (literal)

Titolo

• Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-7803-4182-1 (literal)

Abstract

• Time Petri Nets (TPN) and TE-LOTOS are timed extensions of two commonly used specification formalisms, that can be used in the design of real time concurrent and distributed systems. The paper reviews the differences between the two extended formal description techniques (FDTs), and shows how they can be used jointly in the design and evaluation of real time communication systems such as those used in the factory environments. The joint use of the two formalisms that are considered, is supported by a mapping from Time Petri Nets to TE-LOTOS specifications which enables both embedding building blocks specified as TPNs into TE-LOTOS specifications, and applying the verification techniques and tools based on the algebraic structure of TE-LOTOS to TPNs. The mapping and the methodology are illustrated through an example: a PROFIBUS like system composed of three master stations is modelled by exploiting the features of both FDTs, thus obtaining a hybrid model which is then converted to a TE-LOTOS model of the whole system (literal)

Editore

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Prodotto di

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR

• LUCA DURANTE (Unità di personale interno)
• ADRIANO VALENZANO (Persona)

Insieme di parole chiave

• Keywords of "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR di

• ADRIANO VALENZANO (Persona)
• LUCA DURANTE (Unità di personale interno)

Editore di

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Insieme di parole chiave di

• Keywords of "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)