Third-party claim against P & I clubs in protection and indemnity insurance in our country is a vital part of the system of third-party direct claim in insurance laws,and even in civil laws.

Comparative Studies on P&I Insurance and Marine Liability Insurance;

By presenting a workflow model for insurance claim based on Petri nets,the article describes the three key elements of Petri nets in the form of object,explains both the definition and the verification of the validity of the workflow model.