id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ap-676	Kubátová, H.	Modeling by Petri Nets	2005	9	.pdf	application/pdf	4944	253	69	For a net sys- tem S �< NPT, m0> the set RS S m w T m mw( ): ,*� � � �0 , where T* is the sequence of transitions and w � T* and t � T, is the reachability set. � � � � � � �Pre Post0 0� This interpretation leads to the alternative definition, which is closer to the graphical representation.	cache/ap-676.pdf	txt/ap-676.txt