default search action
Fundamenta Informaticae, Volume 183
Volume 183, Numbers 1-2, 2021
- Susanna Donatelli, Stefan Haar, Slawomir Lasota:
Preface. - Raymond R. Devillers:
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. 1-31 - Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability, Termination, and Finiteness in Recursive Petri Nets. 33-66 - David de Frutos-Escrig
, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. 67-96 - Didier Lime, Olivier H. Roux
Cost Problems for Parametric Time Petri Nets. 97-123 - Ronny Tredup:
The Complexity of Synthesis of b-Bounded Petri Nets. 125-167
Volume 183, Numbers 3-4, 2021
- Ryszard Janicki, Slawomir Lasota, Natalia Sidorova:
Preface. - Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. 169-201 - Dirk Fahland
Inferring Unobserved Events in Systems with Shared Resources and Queues. 203-242 - Olivier Finkel, Michal Skrzypczak:
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words. 243-291 - 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 - 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.
last updated on 2024-11-20 21:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: