Skip navigation

Christian Stahl

Christian Stahl is a postdoctoral researcher at Eindhoven University of Technology.

Titles by This Author

A Petri Net-Oriented Approach

This comprehensive introduction to modeling business-information systems focuses on business processes. It describes and demonstrates the formal modeling of processes in terms of Petri nets, using a well-established theory for capturing and analyzing models with concurrency. The precise semantics of this formal method offers a distinct advantage for modeling processes over the industrial modeling languages found in other books on the subject.