AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models. It performs symbolic model checking based on SigmaDD, an efficient evolution in the Decision Diagrams field, using novel techniques such as algebraic clustering and algebraic unfolding. AlPiNA offers a user-friendl...

Two new genera of wolf spiders belonging to Pardosinae, Gulocosa gen. n. and Melecosa gen. n., are erected to accommodate Gulocosa eskovi sp. n. (♂ ♀, Khabarovsk Province, Russia) and Sibirocosa alpina Marusik, Azarkina & Koponen, 2004, respectively. A new combination was also established: Melecosa alpina (Marusik, Azarkina & Koponen, 2004) comb. n. (ex. Sibirocosa). Polytomous and dichotomous ...

The alpine plant Arabis alpina (alpine rock-cress) is a thoroughly studied species in the fields of perennial plant flowering regulation, phylogeography, and adaptation to harsh alpine climatic conditions. We report the complete A. alpina chloroplast genome sequence obtained through de novo assembly of Illumina paired-end reads produced by total DNA sequencing. The A. alpina cp circular genome ...