Verification of Timed-Arc {P}etri Nets
| Název česky | Verifikace Casovych Petriho Siti |
|---|---|
| Autoři | |
| Rok publikování | 2011 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science ({SOFSEM}'11) |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.springerlink.com/content/ek83j00501734324/ |
| Doi | http://dx.doi.org/10.1007/978-3-642-18381-2_4 |
| Obor | Informatika |
| Klíčová slova | verification; Petri net; tool; decidability |
| 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: |