Informace o publikaci
Verification of Timed-Arc Petri Nets (invited talk)
| Název česky | Verifikace Casovych Petriho Siti |
|---|---|
| Autoři | |
| Rok publikování | 2011 |
| Druh | Vyžádané přednášky |
| Fakulta / Pracoviště MU | |
| 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: |