Undecidability of performance equivalence of Petri netsReportar como inadecuado



 Undecidability of performance equivalence of Petri nets


Undecidability of performance equivalence of Petri nets - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Undecidability of performance equivalence of Petri nets
We investigate bisimulation equivalence on Petri nets under durational semantics. Our motivation was to verify the conjecture that in durational setting, the bisimulation equivalence checking problem becomes more tractable which is the case, e.g., over communication-free nets. We disprove this conjecture in three of four proposed variants of durational semantics. The fourth case remains an interesting open problem.



Autor: Slawomir Lasota; Marcin Poturalski

Fuente: https://archive.org/







Documentos relacionados