An introduction to the modeling of business information systems, with processes formally modeled using Petri nets.
Libris
Elefant
Mit Press Ltd Modeling business processes. a petri net-oriented approach, hardback/christian stahl