be more conservative about cases:
- no initial place
- several initial places
lead to error
debugged path expr to count marked places
bpn writer also exits on cancel message
bpn writer also exits on cancel message
javadoc
message about releasing resources in case of emergency stop
typo
javadoc