zubarev_bull_43.pdf246.59 KB

We consider the time Petri nets (an extension of Petri nets), where every transition has its time interval. The policies of time-elapsing and the memory policies define different semantics for time Petri nets. The decidability of many standard problems with an infinite discrete structure depends on the choice of semantics...