AI Chat AI Image Generator AI Video Text to Speech

Structural Liveness of Immediate Observation Petri Nets

12/31/2021

∙

by Jiri Valusek, et al.

∙

∙

We show that the structural liveness problem for immediate observation nets (introduced by Esparza et al., 2019) is PSPACE-complete.

Jiri Valusek
1 publication
Petr Jancar
7 publications

page 1

page 2

page 3

page 4

research

∙ 10/17/2019

On Concept of Creative Petri Nets

A new formalism of Petri nets, based on the adoption of the "position-ar...

0 Alexander Yu. Chunikhin, et al. ∙

research

∙ 08/24/2018

Defining the problem of Observation Learning

This article defines and formulates the problem of observation learning ...

0 Leo Pauly, et al. ∙

research

∙ 01/14/2022

The complexity of soundness in workflow nets

Workflow nets are a popular variant of Petri nets that allow for algorit...

0 Michael Blondin, et al. ∙

research

∙ 02/13/2018

Subtyping for Hierarchical, Reconfigurable Petri Nets

Hierarchical Petri nets allow a more abstract view and reconfigurable Pe...

0 Julia Padberg, et al. ∙

research

∙ 10/11/2022

Simulating Structural Plasticity of the Brain more Scalable than Expected

Structural plasticity of the brain describes the creation of new and the...

0 Fabian Czappa, et al. ∙

research

∙ 03/22/2019

Commitment Nets in Software Process Improvement

Several studies have revealed the fact that nearly two-thirds of all sof...

0 Pekka Abrahamsson, et al. ∙

research

∙ 06/13/2018

Beyond Bags of Words: Inferring Systemic Nets

Textual analytics based on representations of documents as bags of words...

0 D. B. Skillicorn, et al. ∙