Petri Nets Are Less Expressive Than State-Extended PA

• Název česky: Petriho sítě mají menší vyjadřovací sílu než stavově-rozšířené PA
• Autoři: KŘETÍNSKÝ Mojmír; ŘEHÁK Vojtěch; STREJČEK Jan
• Rok publikování: 2008
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Petri nets; PA processes; bisimulation
• Popis: Ukážeme, že třída Petriho sítí má menší vyjadřovací sílu vzhledem k bisimulační ekvivalenci než třída PA procesů rozšířených o konečně-stavovou řídící jednotku.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru
• Formální verifikace: algoritmy, vlastnosti modelovacích formalismů a temporálních logik
• Nové možnosti automatické verifikace síťových protokolů