Doctoral thesis, ENS des Telecommunications, Paris, Report No. ENST--86E019, November 1986.
Abstract: A high level description language is used to modify a Petri net model into a highly structured wide spectrum model. The feasibility of the approach is demonstrated by the design and implementation of an integrated analysis tool in an L language environment. It is shown that such a tool detects and corrects nontrivial errors in classical Petri models.