Семинар лаборатории ПОИС: Modular system development by composing Petri nets on interfaces // Prof. Lucia Pomello

В понедельник, 21-го апреля, доктор Лючия Помелло (профессор департамента информатики, систем и коммуникаций (DISCo) университета Milano-Bicocca, Италия) представила доклад на тему: Modular system development by composing Petri nets on interfaces.

The talk will present a composition operation for basic Petri nets. Such an operation combines two net systems by identifying local states and by synchronizing events according to morphisms towards a third net system which plays the role of a common interface. The preservation of structural properties, expressed as invariants, and of behavioral properties such as deadlock-freeness will be also discussed, together with the notions of refinement/abstraction associated with the classes of morphisms considered.

подробнее...