Filters
  • Collections
  • Group objects
  • File type

Search for: [Subject and Keywords = Petri nets] OR [Subject and Keywords = decidability] OR [Subject and Keywords = workflow nets] OR [Subject and Keywords = Lyapunov stability] OR [Subject and Keywords = soundness] OR [Subject and Keywords = verification] OR [Title = An analytical method for well\-formed workflow\/Petri net verification of classical soundness] OR [Creator = Clempner, Julio]

Number of results: 31

items per page
AMCS, Volume 25 (2015)

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

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 21 (2011)

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

2011
artykuł
AMCS, volume 12 (2002)

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

2002
artykuł
AMCS, Volume 24 (2014)

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

2014
artykuł

This page uses 'cookies'. More information