In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributed business process. We start with a description and motivation of different notio...

We investigate private and social incentives for standardization to ensure market-wide system compatibility in a two-dimensional spatial competition model. We develop a new methodology to analyze competition on a torus and show that there is a fundamental conflict of interest between consumers and producers over the standardization decision. Consumers prefer standardization with full compatibil...