Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi

Bài viết Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài viết có thể được sử dụng để chuyển đổi tự động một biểu đồ trình tự phức hợp thành mạng Petri hàng đợi.