The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Event logs are of paramount significance for process mining and complex event processing. Yet, the quality of event logs remains a serious problem. Missing events of logs are usually caused by omitting manual recording, system failures, and hybrid storage of executions of different processes. It has been proved that the problem of minimum recovery based on a priori process specification is NP-hard...
Workflow net is a popular formal notation for modeling workflow process. The order relation of the workflow net is the important information to describe the parallel relation, sequential relation and choice relation. From the state of the art of Petri net theory, there are two basic approaches for to analyze the order relations of the work-flow net: state space method and invariant method. State space...
The development of service-oriented applications grows rapidly these years and gains more and more attention both from industry and from academe. Service-oriented applications are assembled from building blocks called service components whose profiles are defined by service specifications. When the dynamic changes happen in the service-oriented architectures, the service discovery and substitution...
PSEE (process-centered software engineering environment) can manage and monitor software process. Software process modeling language is a core element in PSEE system. Software process model includes multiple views: activity view, product view and role view. According to the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.