Yes, there are two books: There is one book about the CPN language and modeling protocols using CPNs and CPN Tools. For more details follow this link. The second book is about modeling (business) processes using CPNs. For more details follow this link.
There are help pages in the form of web pages. There is an online version of the help pages. The help pages are currently not available as a single document. However, there are currently two books on CPN modeling and analysis available, which also provide many details about CPN Tools. You can create your own “manual” by clicking on theCreate book tab at the bottom […]