Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0


Vol-1698/CS&P2016_07_Grochowalski&Pancerz&Szul_Rough-Set-Based-Approximations-of-Classes-in-the-OWL-Ontology-of-Places-in-Poland⫷Vol-1698/CS&P2016_08_Barylska&Mikulski&Piatkowski&Koutny&Erofeev_Reversing-Transitions-in-Bounded-Petri-Nets⫸Vol-1698/CS&P2016_09_Abdullahi&Mueller_Towards-Efficient-Verification-of-Elementary-Object-Systems
Kamila BarylskaLukasz MikulskiMarcin PiatkowskiMaciej KoutnyEvgeny Erofeev

Reversing Transitions in Bounded Petri Nets