1 “... the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both...”

2 “... concurrent systems. The main idea of this theory was modified by many researchers according to their needs...”

3 “... as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can...”