Filtrování

    2000

    1. Petri Nets
      SEBERA, Martin. Petri Nets. In Sborník VVŠ PV 2/2000. Vyškov: VVŠ PV, 2000, s. 149-161. 2/2000. ISBN 1210-4574.
      Podrobněji: https://is.muni.cz/publication/334231/cs

    1998

    1. Comparing the Classes BPA and BPA with Deadlocks
      SRBA, Jiří. Comparing the Classes BPA and BPA with Deadlocks. Technical report, Faculty of Informatics, Masaryk University, Brno. 1998, roč. 1998, č. 05, s. 1-36. ISSN FIMU-RS-98-05.
      Podrobněji: https://is.muni.cz/publication/227495/cs
    2. Deadlocking States in Context-Free Process Algebra
      SRBA, Jiří. Deadlocking States in Context-Free Process Algebra. In Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98). Heidelberg: Springer-Verlag, 1998, s. 388-397. volume 1450 of LNCS.
      Podrobněji: https://is.muni.cz/publication/198611/cs
Zobrazit podrobně