IPNES - Interpreted Petri Net for Embedded Systems.

Kazimierz Krzywicki, Grzegorz Andrzejewski, Wojciech Zajac, Tomasz Krlikowski, Alexander Barkalov, Larysa Titarenko

Browse the full KES paper archive.