101 | -- | 114 | Vladimir A. Bashkin, Irina A. Lomazova. Petri nets and resource bisimulation |
115 | -- | 128 | Marco Bellia, M. Eugenia Occhiuto. N-axioms Parallel Unification |
129 | -- | 147 | Berndt Farwer, Kundan Misra. Modelling with Hierarchical Object Petri Nets |
149 | -- | 165 | Krzysztof Pancerz, Zbigniew Suraj. Synthesis of Petri Net Models: A Rough Set Approach |
167 | -- | 185 | Wojciech Penczek, Alessio Lomuscio. Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking |
187 | -- | 202 | Louchka Popova-Zeugmann, Matthias Werner, Jan Richling. Using State Equation to Prove Non-Reachability in Timed Petrinets |
203 | -- | 221 | Agata Pólrola, Wojciech Penczek, Maciej Szreter. Reachability Analysis for Timed Automata Using Partitioning Algorithms |
223 | -- | 241 | Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek. Checking Reachability Properties for Timed Automata via SAT |