Filters








163 Hits in 8.7 sec

Reliability modeling and analysis of communication networks

Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
2017 Journal of Network and Computer Applications  
With the migration of critical facilities to the Internet, it has become vitally important to ensure the reliability and availability of networks.  ...  In this paper, we study various modeling and analysis techniques that can aid in the study of reliability of communication networks.  ...  For instance, the live migration process in cloud computing networks makes the system dynamic and thus yields to a complex RBD model, which can be effectively handled using Petri Nets with the support  ... 
doi:10.1016/j.jnca.2016.11.008 fatcat:3ly4sqppj5hergujxlbqmv3e3q

Automated Discovery of Process Models from Event Logs: Review and Benchmark

Adriano Augusto, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Fabrizio M. Maggi, Andrea Marrella, Massimo Mecella, Allar Soo
2018 IEEE Transactions on Knowledge and Data Engineering  
An automated process discovery method takes as input an event log, and produces as output a business process model that captures the control-flow relations between tasks that are observed in or implied  ...  Various automated process discovery methods have been proposed in the past two decades, striking different tradeoffs between scalability, accuracy and complexity of the resulting models.  ...  ACKNOWLEDGMENTS This research is partly funded by the Australian Research Council (grant DP150103356) and the Estonian Research Council (grant IUT20-55).  ... 
doi:10.1109/tkde.2018.2841877 fatcat:s2sca5k24bgafplv7f5x72s2ny

Engineering intelligent systems

B.D. Dimitriadis
1983 Proceedings of the IEEE  
Models in Computer Communication Networks, Reliability and Repair, Threshold Logic. c) Applications: Pattern Recognition, Computer Vision, Robotics.  ...  He has intentionally avoided performance modeling of protocols and also the problem of relating performance requirements to protocol logical operation.  ... 
doi:10.1109/proc.1983.12711 fatcat:enibakl4ojgtjajtxbwa236noa

Sustained Resilience via Live Process Cloning

Arash Rezaei, Frank Mueller
2013 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum  
We show that the reliability of a dual redundant system with live process cloning is as good as a triple redundant system even for very large systems.  ...  We study the feasibility of combining redundancy with live process cloning to create highly reliable HPC systems. The main motivation is to avoid costly checkpoint restart approaches.  ...  Stochastic Activity Networks (SANs) are an extension of stochastic Petri nets with instantaneous and timed activities, reward variables and supporting composed models.  ... 
doi:10.1109/ipdpsw.2013.224 dblp:conf/ipps/RezaeiM13 fatcat:fioixeifajeghaxk74icnaqcne

A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Qi Mo, Yuqi Wang, Jixiang Xiang, Tong Li
2020 Complexity  
Our approach is implemented in the PIPE (an open tool for Petri nets) and evaluated on actual cases that show its effectiveness and efficiency.  ...  To this end, based on BPaaS services, we propose an approach to build process collaborations in the cloud. In this approach, we first model collaborative business processes using open nets.  ...  Acknowledgments is work was supported by the Natural Science Foundation of China (nos. 61862065, 61662085, and 61702442).  ... 
doi:10.1155/2020/2751084 fatcat:atgnqdcm65b33c5uf77el6fvni

Refactoring large process model repositories

Barbara Weber, Manfred Reichert, Jan Mendling, Hajo A. Reijers
2011 Computers in industry (Print)  
Synthesis can be used to transform a Petri net via a transition system into another behavior-equivalent Petri net.  ...  Behavior-preserving model transformations have been proposed in [5] to make Petri nets more compact.  ... 
doi:10.1016/j.compind.2010.12.012 fatcat:3qrqs7ffjjc7pipslzqgjcvrou

BioSilicoSystems – A Multipronged Approach Towards Analysis and Representation of Biological Data (PhD Thesis)

Sridhar Hariharaputran, Sridhar Hariharaputran
2010 Nature Precedings  
For this purpose Petri nets are ideal for modelling parallel and interacting processes.  ...  An approach was developed by him for describing and studying models, which consist of concurrent, i.e. independent and / or casually dependent components.  ... 
doi:10.1038/npre.2010.5164.1 fatcat:bo3ri2crajb5xk7kukxhe6affa

Decomposing Petri nets for process mining: A generic approach

Wil M. P. van der Aalst
2013 Distributed and parallel databases  
The decomposition approach is generic and can be combined with different existing process discovery and conformance checking techniques.  ...  The two most prominent process mining tasks are: (i) process discovery: learning a process model from example behavior recorded in an event log, and (ii) conformance checking: diagnosing and quantifying  ...  Preliminaries: Petri Nets and Event Logs This section introduces basic concepts related to Petri nets and event logs.  ... 
doi:10.1007/s10619-013-7127-5 fatcat:c6s3v7u2s5hqtljtd6dikxcjzi

BioSilicoSystems – A Multipronged Approach Towards Analysis and Representation of Biological Data (PhD Thesis)

Sridhar Hariharaputran, Sridhar Hariharaputran
2010 Nature Precedings  
For this purpose Petri nets are ideal for modelling parallel and interacting processes.  ...  An approach was developed by him for describing and studying models, which consist of concurrent, i.e. independent and / or casually dependent components.  ... 
doi:10.1038/npre.2010.5164 fatcat:72ufu6ycfba55gi6bvhatcld3e

Domain Engineering [chapter]

Dines Bjørner
2009 Formal Methods: State of the Art and New Directions  
when we express concurrency in terms of Petri Nets.  ...  We claim that the concept of nets, lines and stations in the three models of Example 9 must relate.  ... 
doi:10.1007/978-1-84882-736-3_1 fatcat:k4lxzoe63fhcfk6yome52efw5e

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

Kurt Jensen
2007 DAIMI Report Series  
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007.  ...  The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop07  ...  The authors wish to thank the anonymous reviewers for their constructive comments and suggestions that have helped us to improve the CPN model and paper.  ... 
doi:10.7146/dpb.v36i584.7197 fatcat:fmzu5qetpnd6dpflqsuggbt7mm

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli
2016 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)  
The approach relies on state-based stochastic models, which can be automatically composed based on the work permit to be examined.  ...  For safety reasons, a work permit process is in place: decision makers accept or reject work permits based on the current state of barriers.  ...  ACKNOWLEDGMENT This work has been partially supported by the ARTEMIS-JU CONCERTO project (n.333053), and by CECRIS, "CErtification of CRItical Systems", FP7-Marie Curie (IAPP) number 324334.  ... 
doi:10.1109/dsn.2016.33 dblp:conf/dsn/MontecchiRLB16 fatcat:6ff4secgxrf37g363xu3j6psmu

Languages of Games and Play

Riemer Van Rozen
2020 ACM Computing Surveys  
Despite the growing number of publications on this topic there is currently no overview describing the state-of-the-art that relates research areas, goals and applications.  ...  and improve the quality of games and play.  ...  Araújo and Roque describe an approach for modeling game systems and flow with Petri Nets for analyzing and simulating behaviors[16].  ... 
doi:10.1145/3412843 fatcat:k25yj7aylbcg5k3ks4v5d5dueu

Metrics of Security [chapter]

Yi Cheng, Julia Deng, Jason Li, Scott A. DeLoach, Anoop Singhal, Xinming Ou
2014 Advances in Information Security  
processes. ( * ) =  ...  analysis, and reporting of relevant performance-related data.  ...  Useful metrics can also be based on modeling (i) the logical relations that allow us to model the propagation of the impacts through the network, and (ii) the computational relations that allow us to calculate  ... 
doi:10.1007/978-3-319-11391-3_13 fatcat:7k3ok7zl6vgpdmvg5doae3wz2q

Caching Mechanism in Peer-to-Peer Networks through Active XML

Abdullah Alrefae, Eric Pardede, Binh Viet Phan
2012 Journal of Software  
The systems dynamic, concurrent behavior relation i.e. concurrent language relation in inhibitor-arc connections is stressed studied.  ...  Petri net systems synthesis can construct large systems without the requirement of reachability analysis so that it can reduce the high complexity of analyzing global system.  ...  ACKNOWLEDGMENTS To CAPES and CNPq for financial suport.  ... 
doi:10.4304/jsw.7.3.508-515 fatcat:6vlsijzaxjbohh3ti5toew7rmi
« Previous Showing results 1 — 15 out of 163 results