Petri Nets Are Less Expressive Than State-Extended PA

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info