Digital Library of Zielona Góra contains 63 052 digital objects
Object
Title: On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
Contributor:
Puig, Vicenç - ed. ; Sauter, Dominique - ed. ; Aubrun, Christophe - ed. ; Schulte, Horst - ed.
Subtitle:
Group publication title:
Abstract:
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Resource Identifier:
DOI:
Pages:
Source:
AMCS, volume 28, number 2 (2018) ; click here to follow the link
Language:
License CC BY 4.0:
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Object collections:
- Digital Library of Zielona Góra > Repository > Faculties > Faculty of Computer, Electrical and Control Engineering
- Digital Library of Zielona Góra > Repository > Types of work > Articles
- Digital Library of Zielona Góra > Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2018)
Last modified:
Jul 14, 2025
In our library since:
Jul 8, 2025
Number of object content hits:
25
All available object's versions:
https://www.zbc.uz.zgora.pl/publication/100810
Show description in RDF format:
Show description in OAI-PMH format:
-
-
-
-
-
-
-
-
-
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 1 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 2 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 3 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 4 (2018)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
| Edition name | Date |
|---|---|
| On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets | Jul 14, 2025 |
Objects Similar
Olive, Xavier Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ruiz, Diego Finke, Jorge Kobusińska, Anna - ed. Hsu, Ching-Hsien - ed. Lin, Kwei-Jay - ed.
Gruzlikov, Alexander M. Kolesov, Nikolai V. Tolmacheva, Marina V. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Dong, Rongsheng Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Berdjag, Denis Cocquempot, Vincent Christophe, Cyrille Shumsky, Alexey Zhirabok, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Majdzik, Paweł Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Laursen, Morten Blanke, Mogens Düştegör, Dilek Korbicz, Józef (1951- ) - ed. Sauter, Dominique - ed.
Kościelny, Jan Maciej Syfert, Michał Rostek, Kornel Sztyber, Anna Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
