Towards a Minimum Initial Marking Estimation Procedure for P-Time Labelled Petri net Systems | IEEE Conference Publication | IEEE Xplore