Process net reconstruction from the sequence of Petri net transition triggerings (Q5928733)

The Petri nets theory is widely used in modelling and analysis of the behavior of distributed computing systems. Many very important processes in parallel computing schemes can be easy expressed in the Petri nets terminology. There are two approaches to the modelling and the analysis in the Petri nets theory. First one uses a notion of sequences of the firing transfers and corresponds to a semantic of change-over of parallel computing. The second one uses a notion of a net-process which corresponds to the semantic of a partial order. A connection between the two approaches is investigated in the article. The necessary and sufficient conditions according to which the net-process is uniquelly reconstructed for a given sequence of firings are found for one class of the Petri nets.