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

obiektów na stronie
AMCS, volume 13 (2003)

Gu, Tianlong Bahri, Parisa A. Cai, Guoyong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2003
artykuł
AMCS, volume 19 (2009)

Auer, Ekaterina Luther, Wolfram Rauh, Andreas - ed. Auer, Ekaterina - ed. Hofer,Eberhard P. - ed. Luther, Wolfram - ed.

2009
artykuł
AMCS, Volume 25 (2015)

Putz-Leszczyńska, Joanna Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.

artykuł
AMCS, Volume 21 (2011)

Raja, Ramachandran Sakthivel, Rathinasamy Anthoni, Selvaraj Marshal Kim, Hyunsoo Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2011
artykuł
AMCS, volume 12 (2002)

Speck, Andreas Pulvermüller, Elke Jerger, Michael Franczyk, Bogdan Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2002
artykuł
AMCS, Volume 24 (2014)

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

2014
artykuł

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