Read here the full announcement.
EXTENDED deadline for submissions: 15 June 2026.
Help:Sandbox
<quiz> {Всяко разширение на мрежите на Петри е консервативно разширение. |type="()"} - ИСТИНА + ЛЪЖА
{Всяка цветна мрежа на Петри може да бъде представена чрез редуцирана обобщена мрежа |type="()"} + ИСТИНА - ЛЪЖА
{ Понятието „абстрактен преход” представлява сечение на всички текущо активни преходи. |type="()"} - ИСТИНА + ЛЪЖА
</quiz>