Verification of Timed-Arc Petri Nets (invited talk)

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Verifikace Casovych Petriho Siti
Autoři	JACOBSEN Lasse JACOBSEN Morten MOLLER H. Mikael SRBA Jiří
Rok publikování	2011
Druh	Vyžádané přednášky
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Časované Petriho sítě Arc (TAPN) je rozšíření klasické P / T sítí se spojitým časem. Tokeny TAPN nesou věku a oblouky mezi místy a přechody jsou označeny časových intervalech omezení věku známek pro přechod palbu.TAPN modelu vlastnit několik zajímavých teoretických vlastností odlišuje od ostatních doby rozšíření Petriho sítí. Měli bychom dát přehled o posledních teorie byla vyvinuta při ověřování TAPN rozšířena o funkce, jako je čtení / doprava oblouky, časované inhibitor oblouky a věku invarianty. Se budeme podrobně prozkoumat hranice automatické verifikace a spojení mezi TAPN a model automatu časově. Nakonec se zmíníme o nástroj, který podporuje TAPAAL modelování, simulaci a ověření TAPN a diskutovat o malou případovou studii střídání bit protokolu.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy