Workshop internazionale sulle rete di Petri e l'ingegneria del software, Newcastle upon Tyne, UK
20 Giugno 2011 - 20 Giugno 2011
Regno Unito
Un workshop internazionale sulle reti di Petri e l'ingegneria del software si terrà il 20 e 21 giugno 2011 a Newcastle upon Tyne, nel Regno Unito.
Per sviluppare con successo sistemi complessi composti da componenti software e hardware che interagiscono e reagiscono, è di fondamentale importanza l'uso di un linguaggio preciso nelle diverse fasi del processo di sviluppo.
Le reti di Petri sono sempre più diffuse in questo settore, in quanto forniscono un linguaggio uniforme per sostenere le attività di modellazione, convalida e verifica. (Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è uno dei vari linguaggi di modellazione matematica per la descrizione dei sistemi distribuiti.) La loro popolarità è dovuta al fatto che esse colgono gli aspetti fondamentali della causalità, concorrenza e scelta in modo naturale e matematicamente preciso senza compromettere la leggibilità.
Durante la conferenza saranno trattati temi quali:
- la modellazione;
- la convalida e l'esecuzione;
- la verifica;
- l'applicazione delle reti di Petri nell'ingegneria del software;
- i problemi aperti e le nuove applicazioni delle reti di Petri;
- il rapporto tra le rete di Petri e l'ingegneria del software;
- gli strumenti.Per ulteriori informazioni, visitare: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(si apre in una nuova finestra)
Per sviluppare con successo sistemi complessi composti da componenti software e hardware che interagiscono e reagiscono, è di fondamentale importanza l'uso di un linguaggio preciso nelle diverse fasi del processo di sviluppo.
Le reti di Petri sono sempre più diffuse in questo settore, in quanto forniscono un linguaggio uniforme per sostenere le attività di modellazione, convalida e verifica. (Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è uno dei vari linguaggi di modellazione matematica per la descrizione dei sistemi distribuiti.) La loro popolarità è dovuta al fatto che esse colgono gli aspetti fondamentali della causalità, concorrenza e scelta in modo naturale e matematicamente preciso senza compromettere la leggibilità.
Durante la conferenza saranno trattati temi quali:
- la modellazione;
- la convalida e l'esecuzione;
- la verifica;
- l'applicazione delle reti di Petri nell'ingegneria del software;
- i problemi aperti e le nuove applicazioni delle reti di Petri;
- il rapporto tra le rete di Petri e l'ingegneria del software;
- gli strumenti.Per ulteriori informazioni, visitare: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(si apre in una nuova finestra)