Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

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: 41

Obiektów na stronie:
AMCS, Volume 24 (2014)

Kuzmych, Olena Aitouche, Abdel El Hajjaji, Ahmed Bosche, Jerome Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2014
artykuł
AMCS, Volume 22 (2012)

Ichalal, Dalil Marx, Benoît Ragot, José Maquin, Didier Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2012
artykuł
AMCS, volume 17 (2007)

Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.

2007
artykuł
AMCS, Volume 27 (2017)

Clempner, Julio B. Poznyak, Alexander S. Stefanowski, Jerzy - ed. Krawiec, Krzysztof - ed. Wrembel, Robert - ed.

2017
artykuł
AMCS, volume 29 (2019)

Solis, Cesar Clempner, Julio Poznyak, Alexander S. Clempner, Julio B. - ed. Ikonen, Enso - ed. Kurdyukov, Alexander P. - ed.

2019
artykuł
AMCS, volume 33 (2023)

Clempner, Julio B. Poznyak, Alexander S. Foryś, Urszula - ed. Rejniak, Katarzyna - ed. Pękala, Barbara - ed. Bartłomiejczyk, Agnieszka - ed.

2023
artykuł
AMCS, Volume 21 (2011)

Clempner, Julio B. Poznyak, Alexander S. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2011
artykuł

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji