Szukana fraza: [Temat i słowa kluczowe = Petri nets] lub [Temat i słowa kluczowe = decidability] lub [Temat i słowa kluczowe = workflow nets] lub [Temat i słowa kluczowe = Lyapunov stability] lub [Temat i słowa kluczowe = soundness] lub [Temat i słowa kluczowe = verification] lub [Tytuł = An analytical method for well\-formed workflow\/Petri net verification of classical soundness] lub [Autor = Clempner, Julio]
Wyników: 32
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.
Ichalal, Dalil Marx, Benoît Ragot, José Maquin, Didier Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio B. Poznyak, Alexander S. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Niewiadomski, Przemysław Kurzawski, Michał Danielak, Wiesław - red. nauk. Niewiadomski, Przemysław - red. nauk. Sobotkiewicz, Dariusz - red. nauk.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Zhou, Changjiu Rutkowska, Danuta - ed. Kacprzyk, Janusz - ed. Zadeh, Lotfi A. - ed.
Trejo, Kristal K. Clempner, Julio B. Poznyak, Alexander S. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
