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

Items per page:
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 36 (2026)

Zhao, Yuanchen Schoon, Heiko Miny, Torben Felke, Patrick Kleinert, Tobias Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2026
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ł

This page uses 'cookies'. More information