Towards a Minimum Initial Marking Estimation Procedure for P-Time Labelled Petri net Systems

This work develops a technique for estimating the minimum initial marking (an initial marking with the minimum total token number) of a real-time system modelled by a P-Time labelled Petri net system under partial observation. Indeed, the set of events is partitioned into a set of observable events, which can be detected by an external agent and a set of unobservable ones. Furthermore, some observable events can be associated to the same observation, i.e., they produce the same output signal and are called undistinguishable. In addition, the obtained marking must be consistent with a given label occurrence vector (LOV). The proposed method is based on an iterative procedure combined with a schedulability analysis technique for particular behaviors of the studied system.