The number of states is a very important matter for model checking approach in Petri net's
analysis. We first gave a formal definition of state number calculation problem: For a Petri net …

This paper proposes a reduction method to verify the generalised soundness of large
workflows described as workflow nets–a suited class of Petri nets. The proposed static …

This paper deals with the integration of the formal verification techniques of business
process (BP) in the design phase. In order to achieve this purpose, we use the graphical …

In recent years, researchers have become increasingly interested in developing methods
and tools for the specification and validation of Business Processes (BP) behavior. The …

Computer-based test (CBT for short) has become a new form of delivering test. This causes
a challenge of unethical conduct during examinations such as cheating and accessing test …

Response property is a kind of liveness property. Response property problem is defined as
follows: Given two activities α and β, whenever α is executed, is β always executed after …

Bringing a high confidence to the validity of business processes is one of the prevailing
themes in business process management. This paper deals with the integration of the formal …

In this paper, we use the techniques and tools of modeling and verification to implement the
proposed approaches, in our earlier works, to verify formally the coherence of the business …

Petri net is a mathematical tool for concurrent discrete event systems. This paper studies
computational complexity to decide whether the transition A responds to B, given a pair of …

The business process management system that can integrate and manage a medical
institution's processes has been increased importance to adapt to constantly changing …