PN: Formal Definition

A Petri net (PN) is a 5 tuple

PN (P,T,IN,OUT,M)

where:

P = {p1,p2,....,p~} is a finite set of places,

T = {t1, t2, …,tn} is a finite set of transitions

IN: (PxT)?S

OUT: (TxP)?S

M: Marking vector

Previous slide

Next slide

Back to first slide

View graphic version