Electronic Books

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...