Applying Petri Nets to Modeling of Many-Core Processor Self-Testing when Tests are Performed Randomly. - Viktor Mashkov; Jirí Barilla; Pavel Simr (J. Electron. Test., 2013)

Simulation of the influence of oxygen on the chemical stage of radiobiological mechanism using Petri nets. - Jirí Barilla; M. Lokajícek; H. Pisaková; Pavel Simr (J. Cheminformatics, 2014)

Modeling and Simulation of Coalition Formation. - Viktor Mashkov; Jirí Barilla; Pavel Simr; Josef Bicanek (SIMULTECH, 2015)

Applying Petri Nets to Coalition Formation Modeling. - Viktor Mashkov; Jirí Barilla; Pavel Simr; Josef Bicanek (SIMULTECH (Selected Papers), 2015)