In this paper we discuss the need to ensure that the; business processes are at the same time robust and; agile. The aim of our work is to improve the business; process management by offering a flexible modeling to; implement changes quickly and verification of a; business process by identifying errors in the process; specification. To achieve these objectives, we propose; a new model grounded on a new formalism issued from; ECA model. In this model, a business rule has an; Event/Condition/Action/Post condition/Event triggered; (ECAPE) formalism. To represent this formalism as; well as the functioning in a business process, a new; colored Petri net, called ECAPE net, is used in order; to define formally a business process and to detect; errors by taking account of the identified properties of; this ECAPE net.