Rete di Petri: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Aggiungi 1 libro per la Wikipedia:Verificabilità (20210921sim)) #IABot (v2.0.8.1) (GreenC bot
Riga 217:
*{{Cita libro | nome = Kurt | cognome = Jensen | wkautore = Kurt Jensen | anno = | titolo = Coloured Petri Nets | editore = Springer Verlag | isbn = 3-540-62867-3}}
*{{Cita libro | nome = András | cognome = Pataricza | wkautore = András Pataricza | anno = 2004 | titolo = Formális moódszerek az informatikában (Formal methods in informatics) | editore = TYPOTEX Kiadó | isbn = 963-9548-08-1 }}
*{{Cita pubblicazione | autore=Peterson, James L. | titolo=Petri Nets | url=https://archive.org/details/sim_acm-computing-surveys_1977-09_9_3/page/223 | rivista=ACM Computing Surveys | anno=1977 | volume=9 | numero=3 | pp=223–252 }}
*{{Cita libro | nome = James Lyle | cognome = Peterson | wkautore = James Lyle Peterson | anno = | titolo = Petri Net Theory and the Modeling of Systems | editore = Prentice Hall | isbn = 0-13-661983-5}}
*{{Cita pubblicazione|autore=Petri, Carl A. |titolo=Kommunikation mit Automaten |editore=University of Bonn |data=1962 | tipo=Ph.D. Thesis }}