print · source · login   

Help

The Automata wiki is build using the PmWiki wiki software.

PmWiki is a wiki-based system for collaborative creation and maintenance of websites.

PmWiki pages look and act like normal web pages, except they have an "edit" link at the top of the page that makes it easy to modify existing pages and add new pages into the website, using basic editing rules. You do not need to know or use any HTML or CSS. Page editing can be left open to the public or restricted to small groups of authors. In the Automata wiki we configure editing such that only when logged you can edit wiki pages. When not logged in the wiki just looks like a normal website. When not logged in the top left corner only shows a small menu with "login source print" menu items. Using the "login" menu item one can login, and only then extra items such as "edit" appear in the menu.

PmWiki pages are organized into groups of related pages. This feature was added to PmWiki to allow authors to create their own wiki spaces of specialized content on their own. For example the current page is in the PmWiki group which contains all help pages related to your wiki. A special group is the default group Main of the wiki for which the group's name will be hidden in the wiki view because its the default group. But when you would edit a page within the default group the full name of the page containing both the name of the page and its group will be displayed.

Each wiki group can define its own SideBar. When a wiki page is shown then the Sidebar of that group is shown left to the wiki page. The SideBar itself is a wiki page which can therefore easily be edited. That is when viewing a page in a wikigroup, its SideBar page can then be edited with the "edit_menu" link located at the top of the page. However editing is only possible when logged in, and therefore are the "edit" and "edit_menu" links only available when logged in.

In the automata wiki we use the group feature of PmWiki to describe each benchmark with a group of pages related to that benchmark. Each benchmark also has its own sidebar so that we can easily navigate through the pages for that specific benchmark. The structure of benchmark is described at the help page BenchmarkStructure. We also configured the wiki such, that when creating a new benchmark group, the wiki automatically creates a Sidebar and Description page for that new benchmark. How to add a new benchmark is described at the page AddBenchmark and to add model files at AddModels. In the page GlobalDataStructure we describe the global data structure we use throughout the automata wiki. This global structure is used to automatically generate the zip files of the different type of benchmarks models. Every time models are added then at midnight the wiki automatically updates the zip files. So you can always download the latest benchmarks easily at the Downloads page!!