Petri Nets Are Less Expressive Than State-Extended PA

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	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
Citace
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ů