Faculty of Information Technology, BUT

Ing.

Petr Novosad

Publications

  • 2015

    NOVOSAD Petr and ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 183-184. ISBN 978-84-606-5438-4.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
    Detail

  • 2013

    NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2013, pp. 244-245. ISBN 84-695-6971-6.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1.
    Detail

  • 2012

    NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 543-550. ISSN 0302-9743.
    Detail

  • 2011

    NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 334-335. ISBN 978-84-693-9560-8.
    Detail

  • 2008

    NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 489-491. ISBN 978-90-77381-44-1.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008, pp. 177-183. ISBN 978-80-7355-082-0.
    Detail

  • 2007

    NOVOSAD Petr and ČEŠKA Milan. Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim. In: Proceedings of 21th European Simulation and Modelling Conference ESM'2007. St. Julians, Malta: EUROSIS, 2007, pp. 170-172. ISBN 978-90-77381-36-6.
    Detail

  • 2006

    NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: Proceedings of the Junior Scientist Conference 2006. Vídeň: Technical University Wien, 2006, pp. 49-50. ISBN 3-902463-05-8.
    Detail

    NOVOSAD Petr. Výukový nástroj pro práci s C/E Petriho sítěmi. In: Pedagogický software 2006. České Budějovice: Scientifik Pedagogical Publishing, 2006, pp. 247-249. ISBN 80-85645-56-4.
    Detail

  • 2005

    NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava, 2005, pp. 236-240. ISBN 80-86840-16-6.
    Detail

    NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 106-113.
    Detail

Back to top