Английская Википедия:Coloured Petri net: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

20 февраля 2024

  • текущ.пред. 11:0811:08, 20 февраля 2024EducationBot обсуждение вклад 3000 байт +3000 Новая страница: «{{Английская Википедия/Панель перехода}} '''Coloured Petri nets''' are a backward compatible extension of the mathematical concept of Petri nets. Coloured Petri nets preserve useful properties of Petri nets and at the same time extend the initial formalism to allow the distinction between tokens.<ref name=JensenV1>{{cite book|last=Jensen|first=Kurt|authorlink=Kurt Jensen (computer scientist...»