Petri net arithmetic models for scalable business processes

Scalability of business process models can be defined as the growth rate among two business process models. A metric of scalability measurements shows whether the business process models compared are scalable or not. This paper proposed a metric of scalability measure based on similarity metric and complexity measure between two business process models. Petri net is used for modeling the business process. Similarity metric is measured by behavioral and structural petri net models, and also using control flow complexity and cyclomatic complexity for measuring complexity of petri net. Petri net arithmetic models also proposed for modeling petri net as arithmetic. According to the experiment, this paper using 4 petri net arithmetic models to measuring scalability metrics. The result of scalability metric shows that all of petri net arithmetic models are scalable to one another with different growth rate. The growth rate determines how large a model can evolve into more complex models.