3,646 Hits in 3.0 sec

Petri Net Transformations for Business Processes – A Survey [chapter]

Niels Lohmann, Eric Verbeek, Remco Dijkman
2009 Lecture Notes in Computer Science  
To be able to use, for example, the abundance of Petri net verification techniques on business models, we need to be able to transform these models to Petri nets.  ...  In this paper, we investigate a number of Petri net transformations that already exist.  ...  Hence, it gives a good overview of the state-of-the-art in Petri net transformation of business process modeling languages.  ... 
doi:10.1007/978-3-642-00899-3_3 fatcat:kohig2pkkfh7zoch4gq6tnjbdm

PN Standardisation: A Survey [chapter]

L. Hillah, F. Kordon, L. Petrucci, N. Trèves
2006 Lecture Notes in Computer Science  
It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.  ...  It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML.  ...  Acknowledgements We would like to thank ISO/IEC 15909 editors, especially Jonathan Billington and Ekkart Kindler, for the insightful discussions that helped us enhancing this paper.  ... 
doi:10.1007/11888116_23 fatcat:ppdsrvxr4zdlvih3p3tk7hwdgm

A Survey on Formal Methods for Web Service Composition [article]

Yong Wang
2013 arXiv   pre-print
We do a survey on formal methods for Web Service Composition in the following way.  ...  process integrations.  ...  Works Based on Petri Net [35] proposes a Petri Net approach for the design and analysis of WSC Using WS-CDL [19] as the language for describing WSC and Petri Net as a formalism to simulate and validate  ... 
arXiv:1306.5535v2 fatcat:vkrb56ydhbf2zpdzekw4lw72si

A Survey on Workflow Verifications of Petri Nets based Service Process Management

Xiaoxian Yang, Tao Yu, Huahu Xu
2012 International Journal of Grid and Distributed Computing  
In conclusion, this survey provides academic references to researchers and developers in service computing and process management.  ...  Then, considering the composite service is an effective way to organize third-party business functions seamlessly, the Petri Nets based service workflow employed to formalizing composition behaviors is  ...  A lot of researches have paid attention to Petri Nets for service process modeling and analysis.  ... 
doi:10.14257/ijgdc.2015.8.6.09 fatcat:4oqtgzjla5azxhnerdv6oz7tq4

Event Data Quality: A Survey [article]

Ruihong Huang, Jianmin Wang
2020 arXiv   pre-print
Event data are prevalent in diverse domains such as financial trading, business workflows and industrial IoT nowadays.  ...  From traditional operational systems in enterprises to online systems for Web services, event data is generated from physical world uninterruptedly.  ...  Petri Net Petri net [27] is a graphical and mathematical modeling tool. It is a promising tool for describing and studying information processing systems.  ... 
arXiv:2012.07309v1 fatcat:qz5256pkcbe5lilvieq42ua3k4

A survey on C4ISR system architecture technique

Wang Mingqian, Cao Shuai
2020 Global Journal of Engineering and Technology Advances  
on UML into Petri net model through certain transformation rules.  ...  In order to make up for the shortcomings of the general Petri net theory that there is no data concept, the colored Petri net theory (Color Petri Net, CPN) [51] [52] [53] has been proposed.  ... 
doi:10.30574/gjeta.2020.2.3.0019 fatcat:jtbzp63cyrbypl5p7l4rqxsb4q

Performance Prediction of Service-Oriented Architecture - A survey

Haitham A. Moniem, Hany H Ammar
2014 International Journal of Computer Applications Technology and Research  
Based on this, we have conducted a comprehensive survey on these methods to estimate their applicability.  ...  Incorporating traditional performance models such as Stochastic Petri Nets, Queuing Networks, and Simulation present drawbacks of SOA based applications due to special characteristics of SOA such as lose  ...  Business Process Execution Language (BPEL) BPEL is a language for designing SOA based systems.  ... 
doi:10.7753/ijcatr0312.1016 fatcat:cievoamogzgcljbnbtt6awnjvu

Workflow mining: A survey of issues and approaches

W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, A.J.M.M. Weijters
2003 Data & Knowledge Engineering  
Starting point for workflow mining is a so-called "workflow log" containing information about the workflow process as it is actually being executed.  ...  In this paper, we introduce the concept of workflow mining and present a common format for workflow logs.  ...  Petri net.  ... 
doi:10.1016/s0169-023x(03)00066-1 fatcat:ucgysjykvzgrzmxqxi2p53djhe

Business Process Management: A Comprehensive Survey

Wil M. P. van der Aalst
2013 ISRN Software Engineering  
Business Process Management (BPM) research resulted in a plethora of methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes.  ...  This survey aims to structure these results and provide an overview of the state-of-the-art in BPM. In BPM the concept of a process model is fundamental.  ...  A plethora of notations exists to model operational business processes (e.g., Petri nets, BPMN, UML, and EPCs).  ... 
doi:10.1155/2013/507984 fatcat:nbrcrvwnwnh6rgttbyj7vy4xhm

Integration of business process modeling and Web services: a survey

Katarina Grolinger, Miriam A. M. Capretz, Americo Cunha, Said Tazi
2013 Service Oriented Computing and Applications  
Consequently, this study has identified opportunities for future research in the field, including the need for a generic transformation approach among arbitrary models, the need to represent mappings in  ...  A significant challenge in business process automation involves bridging the gap between business process representations and Web service technologies that implement business activities.  ...  second, a survey of Petri net transformations has already been conducted by Lohmann et al  ... 
doi:10.1007/s11761-013-0138-2 fatcat:nfgzydebvbfmvm4ihvn5mpoeuq

Performance Modeling of Database Systems: a Survey

Antonia Krajewska, Research and Academic Computer Network (NASK)
2018 Journal of Telecommunications and Information Technology  
This survey covers formal modelsfrom queueing systems and queueing networks to queueing Petri nets.  ...  This paper presents a systematic survey of the existing database system performance evaluation models based on the queueing theory.  ...  This paper presents a survey of the existing database performance models with their underlying queueing networks and queueing Petri nets.  ... 
doi:10.26636/jtit.2018.128918 fatcat:dzdp6dy4kvbebnrw2zm24ayhb4

Business process management (BPM) standards: a survey

Ryan K.L. Ko, Stephen S.G. Lee, Eng Wah Lee
2009 Business Process Management Journal  
Purpose -In the last two decades, a proliferation of business process management (BPM) modeling languages, standards and software systems has given rise to much confusion and obstacles to adoption.  ...  At the present time, there is a lack of established diagnosis standards. It is hoped that such a classification facilitates the meaningful adoption of BPM languages, standards and notations.  ...  The authors wish to thank the Editor and reviewers for their constructive comments and suggestions.  ... 
doi:10.1108/14637150910987937 fatcat:hqgndiitczh5hlwpwpezuorwxi

Data-Flow Modeling: A Survey of Issues and Approaches

Cristina-Claudia DOLEAN, Razvan PETRUSEL
2012 Informatică economică  
This paper presents a survey of previous research on modeling the data flow perspective of business processes.  ...  For some time, various researchers tried to investigate the data flow perspective of process models or to combine the control and data flow in one model. This paper surveys those approaches.  ...  [27] proposes a data-centric approach in order to find deadlocks from a business process. They consider the business process being modeled as a Petri Net.  ... 
doaj:355c1310cc5f4b2693cfbd6e25fc01df fatcat:tum6ktnlaffxtddag5yqj4jyf4

Petri nets for modelling metabolic pathways: a survey

Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni
2010 Natural Computing  
Petri net.  ...  We point out the main problems that arise in the construction of a Petri net model of a metabolic pathway and we outline some solutions proposed in the literature.  ...  They are also greatly indebted to the anonymous referees for their extensive and valuable comments and suggestions on preliminary versions of the paper.  ... 
doi:10.1007/s11047-010-9180-6 fatcat:acu6ojeywrhllphpo7cpmdgtwu

Modeling time in computing

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010 ACM Computing Surveys  
This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists.  ...  Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewer for useful suggestions and Gianpaolo Cugola for his comments on an early draft of this paper.  ... 
doi:10.1145/1667062.1667063 fatcat:6bjiukps7bavhontaewdgm7tky
« Previous Showing results 1 — 15 out of 3,646 results