In: Proc. of COMPSAC 87, the Eleventh Annual Int. Computer Software and Applications Conference, pages 694-700. Washington: IEEE Comput. Soc. Press., 1987.
Abstract: The data link layer protocol of the digital multiplexed interface is called LAPD. The Petri net formalism was used to model and analyze a subset of LAPD with respect to the protocol properties of boundedness, deadlock, and proper termination. The authors describe the communication between two entities as defined by LAPD and discuss a Petri net model and associated analysis methods and results.