Ing. Marek Skotnica

Ing. Marek Skotnica
Ing. Marek Skotnica

Publications

Skotnica, M., van Kervel, S. J. H., & Pergl, R. (2017). A DEMO Machine - A Formal Foundation for Execution of DEMO Models. In Advances in Enterprise Engineering XI: 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017, Proceedings (pp. 18–32). Cham: Springer International Publishing.
Mráz, O., Náplava, P., Pergl, R., & Skotnica, M. (2017). Converting DEMO PSI Transaction Pattern into BPMN: A Complete Method. In Advances in Enterprise Engineering XI: 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017, Proceedings (pp. 85–98). Cham: Springer International Publishing.
Skotnica, M., Kervel, S. J. H. van, & Pergl, R. (2016). Towards the Ontological Foundations for the Software Executable DEMO Action and Fact Models. In Advances in Enterprise Engineering X (pp. 151–165). Funchal, Madeira: Springer International Publishing. https://doi.org/10.1007/978-3-319-39567-8_10
Skotnica, M. (2016). Towards the Foundations of Fact and Rules Ontology for Discrete Systems (master’s thesis). Czech Technical University in Prague, Faculty of Information Technology.
Skotnica, M. (2014). Implementation of a module supporting the AM model in the Formetis DEMO Processor (bachelor’s thesis). Czech Technical University in Prague, Faculty of Information Technology. Retrieved from https://dspace.cvut.cz/handle/10467/25079
Hornáčková, B., Skotnica, M., & Pergl, R. (2018). Exploring a Role of Blockchain Smart Contracts in Enterprise Engineering. In Advances in Enterprise Engineering XII: 8th Enterprise Engineering Working Conference, EEWC 2018, Luxembourg, Luxembourg, Proceedings. Cham: Springer International Publishing.