[Cvičenie] 4 - 2. časť - Petriho siete - Generické typy a kolekcie

Zhrnutie prednášky

Cvičenie demonštruje modelovanie Petriho siete (Places, Transitions, Arcs) ako príklad na precvičenie dedenia a abstraktných tried v Jave. Ukazuje sa, ako sa spoločné vlastnosti vrcholov (ID) vyabstrahujú do abstraktnej triedy Vertex, od ktorej dedia Place aj Transition, a ako sa pomocou podtried hrany PlaceTransitionArc a TransitionPlaceArc vynúti, že hrana môže viesť iba medzi miestom a prechodom, nikdy medzi dvoma vrcholmi rovnakého typu.

• - Petriho sieť modelovaná ako bipartitný graf pomocou tried PetriNet, Place, Transition a Arc
• - Trieda Place obsahuje značkovanie (marking) a ID, so setrami validujúcimi zápor a prázdne ID pomocou IllegalArgumentException
• - Vytvorenie abstraktnej triedy Vertex na odstránenie duplicitného kódu spoločného pre Place a Transition
• - Trieda Arc obsahuje source a destination typu Vertex, s ošetrením proti null hodnotám
• - Rozdelenie Arc na podtriedy PlaceTransitionArc a TransitionPlaceArc, aby typový systém zabránil nepovoleným hranám place-place alebo transition-transition
• - Inicializácia kolekcií (zoznamov) pre places, transitions a arcs v konštruktore Petriho siete

Zhrnutie pripravené s pomocou AI z prepisu videa.