Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fuin/fuin183.bht:"
download as .bib file
@article{DBLP:journals/fuin/AllamigeonBG21,
author = {Xavier Allamigeon and
Marin Boyet and
St{\'{e}}phane Gaubert},
title = {Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency
Call Centers},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {169--201},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2086},
doi = {10.3233/FI-2021-2086},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AllamigeonBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Devillers21,
author = {Raymond R. Devillers},
title = {Articulations and Products of Transition Systems and their Applications
to Petri Net Synthesis},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2080},
doi = {10.3233/FI-2021-2080},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Devillers21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DonatelliHL21,
author = {Susanna Donatelli and
Stefan Haar and
Slawomir Lasota},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2079},
doi = {10.3233/FI-2021-2079},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DonatelliHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FahlandDA21,
author = {Dirk Fahland and
Vadim Denisov and
Wil M. P. van der Aalst},
title = {Inferring Unobserved Events in Systems with Shared Resources and Queues},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {203--242},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2087},
doi = {10.3233/FI-2021-2087},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FahlandDA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FinkelHK21,
author = {Alain Finkel and
Serge Haddad and
Igor Khmelnitsky},
title = {Coverability, Termination, and Finiteness in Recursive Petri Nets},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {33--66},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2081},
doi = {10.3233/FI-2021-2081},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FinkelHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FinkelS21,
author = {Olivier Finkel and
Michal Skrzypczak},
title = {On the Expressive Power of Non-deterministic and Unambiguous Petri
Nets over Infinite Words},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {243--291},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2088},
doi = {10.3233/FI-2021-2088},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FinkelS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Frutos-EscrigKM21,
author = {David de Frutos{-}Escrig and
Maciej Koutny and
Lukasz Mikulski},
title = {Investigating Reversibility of Steps in Petri Nets},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {67--96},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2082},
doi = {10.3233/FI-2021-2082},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Frutos-EscrigKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanickiLS21,
author = {Ryszard Janicki and
Slawomir Lasota and
Natalia Sidorova},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2085},
doi = {10.3233/FI-2021-2085},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/JanickiLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KalenkovaCPR21,
author = {Anna A. Kalenkova and
Josep Carmona and
Artem Polyvyanyy and
Marcello La Rosa},
title = {Automated Repair of Process Models with Non-local Constraints Using
State-Based Region Theory},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {293--317},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2089},
doi = {10.3233/FI-2021-2089},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KalenkovaCPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LimeRS21,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
title = {Cost Problems for Parametric Time Petri Nets},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {97--123},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2083},
doi = {10.3233/FI-2021-2083},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LimeRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Thierry-Mieg21,
author = {Yann Thierry{-}Mieg},
title = {Symbolic and Structural Model-Checking},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {319--342},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2090},
doi = {10.3233/FI-2021-2090},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Thierry-Mieg21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tredup21,
author = {Ronny Tredup},
title = {The Complexity of Synthesis of \emph{b}-Bounded Petri Nets},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {125--167},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2084},
doi = {10.3233/FI-2021-2084},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Tredup21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-27 19:05 CEST from data curated 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:
