Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
      SRBA, Jiří. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Netherlands: Springer-Verlag, 2008, p. 15-32, 17 pp. ISBN 978-3-540-85777-8.
      More: https://is.muni.cz/publication/807671/en
    2. Petri Nets Are Less Expressive Than State-Extended PA
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, vol. 394, 1-2, p. 134-140. ISSN 0304-3975.
      More: https://is.muni.cz/publication/760714/en

    2005

    1. Timed-Arc Petri Nets vs. Networks of Timed Automata
      SRBA, Jiří. Timed-Arc Petri Nets vs. Networks of Timed Automata. In Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005). Netherlands: Springer-Verlag, 2005, p. 385-402.
      More: https://is.muni.cz/publication/588243/en

    2004

    1. Modular synthesis of Petri nets
      SEBERA, Martin. Modular synthesis of Petri nets. In ASIS. Ostrava, 2004. ISBN 80-86840-03-4.
      More: https://is.muni.cz/publication/570510/en

    2000

    1. Petri Nets
      SEBERA, Martin. Petri Nets. In Sborník VVŠ PV 2/2000. Vyškov: VVŠ PV, 2000, p. 149-161. 2/2000. ISBN 1210-4574.
      More: https://is.muni.cz/publication/334231/en
Display details
Displayed: 31/5/2024 05:04