iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/journals/fuin/fuin183.html

dblp: Fundamenta Informaticae, Volume 183

default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 183

> Home > Journals > Fundamenta Informaticae

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 183, Numbers 1-2, 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DonatelliHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DonatelliHL21
Susanna Donatelli, Stefan Haar, Slawomir Lasota:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Devillers21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Devillers21
Raymond R. Devillers:
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. 1-31
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FinkelHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FinkelHK21
Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability, Termination, and Finiteness in Recursive Petri Nets. 33-66
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Frutos-EscrigKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Frutos-EscrigKM21
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. 67-96
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LimeRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LimeRS21
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. 97-123
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Tredup21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Tredup21
Ronny Tredup:
The Complexity of Synthesis of b-Bounded Petri Nets. 125-167

Volume 183, Numbers 3-4, 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/JanickiLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JanickiLS21
Ryszard Janicki, Slawomir Lasota, Natalia Sidorova:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AllamigeonBG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AllamigeonBG21
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. 169-201
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FahlandDA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FahlandDA21
Dirk Fahland, Vadim Denisov, Wil M. P. van der Aalst:
Inferring Unobserved Events in Systems with Shared Resources and Queues. 203-242
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FinkelS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FinkelS21
Olivier Finkel, Michal Skrzypczak:
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words. 243-291
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KalenkovaCPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KalenkovaCPR21
Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa:
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. 293-317
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Thierry-Mieg21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Thierry-Mieg21
Yann Thierry-Mieg:
Symbolic and Structural Model-Checking. 319-342

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.