Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloMapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions
Anno di pubblicazione1995
Formato
  • Elettronico
  • Cartaceo
Autore/iR. Sisto; A. Valenzano
Affiliazioni autoriR. Sisto: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro Elaborazione Numerale dei Segnali, CNR, Torino, Italy
Autori CNR e affiliazioni
  • ADRIANO VALENZANO
Lingua/e
  • inglese
AbstractThe integration of different formal description techniques is an important feature in the design of communication protocols and concurrent systems. In this paper we address the problem of translating Petri nets with inhibitor arcs into basic LOTOS specifications, which is an important step in the direction of integrating these two commonly used formalisms. A mapping which preserves strong bisimulation equivalence is formally defined and illustrated by means of an example. The definition of the mapping enables us also to state a new result about the expressive power of the basic LOTOS subset which constitutes the mapping range
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da1361
Pagine a1370
Pagine totali9
RivistaIEEE transactions on computers (Online)
Attiva dal 1968
Editore: Institute of Electrical and Electronics Engineers] - [New York
Paese di pubblicazione: Stati Uniti d'America
Lingua: inglese
ISSN: 1557-9956
Titolo chiave: IEEE transactions on computers (Online)
Titolo proprio: IEEE transactions on computers (Online)
Titolo abbreviato: IEEE trans. comput. (Online)
Numero volume della rivista44
Fascicolo della rivista12
DOI10.1109/12.477242
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:TJ775)
Parole chiaveFormal techniques, Petri Nets, LOTOS
Link (URL, URI)http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=477242
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR-
Progetti Europei-
Allegati
  • Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions

Dati associati a vecchie tipologie
I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
Editore
  • The Institute of Electrical and Electronics Engineers (IEEE), Piscataway (Stati Uniti d'America)