https://alvis.kis.agh.edu.pl/wiki/ 2026-05-08T15:32:50+00:00 https://alvis.kis.agh.edu.pl/wiki/ https://alvis.kis.agh.edu.pl/wiki/lib/tpl/scanlines/images/favicon.ico text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/people?rev=1632387097&do=diff Alvis Team Prof. Marcin Szpyrka Marcin Szpyrka, DSc, PhD (mszpyrka [at] agh [dot] edu [dot] pl, www) is a full professor at AGH University of Science and Technology in Krakow, Poland (Department of Applied Computer Science). He is the author of over 130 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency, systems security, data mining and functional programming. He is leader of the Alvis P… text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/rtcp_start?rev=1632387097&do=diff RTCP-nets RTCP-nets (Real-Time Coloured Petri nets) are a subclass of timed coloured Petri nets (CP-nets) defined for modelling and analysis of real-time systems. In comparison to timed CP-nets, RTCP-nets use a different time model, transitions' priorities and they are forced to fulfil some structural restrictions. These characteristics of RTCP-nets enable designers direct modelling of elements typical for concurrent programming such as task priorities, timeouts, etc. text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/sidebar?rev=1632387097&do=diff Main * Alvis Home Page * Alvis NCN Project 2009-11 * RTCP-nets Internal * Archives * Tools TODO * Plan text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/software?rev=1632387097&do=diff Alvis Editor Alvis Editor is an editor for Alvis models. It supports both the design of hierarchical communication diagrams and the implementation of the code layer. To download the Editor go here. Alvis Compiler Alvis Compiler is a compiler for Alvis models to its Haskell representation. Current version is in alpha version and is under huge development. To download the Compiler go text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/start?rev=1632387097&do=diff Welcome to the FM Wiki Welcome to the FM Wiki at <http://alvis.kis.agh.edu.pl>. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in Department of Applied Computer Science at AGH University of Science and Technology. The Formal Methods Research Group is led by Prof. Marcin Szpyrka. Alvis This page is also the Home Page for