972 Hits in 10.4 sec

Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip

Xiaoxi Xu, Cheng-Chew Lim
2008 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources.  ...  For coverage, TRG can be converted to a Petri-net, allowing the measurement of completeness of concurrency in simulation.  ...  TRG and Petri-net TRG and Petri-net share some similarities in describing a system. Both formally define concurrency and conflict. • In TRG, concurrency is defined as a set of n (n ≥ 2) transfers.  ... 
doi:10.1109/tcad.2008.923092 fatcat:vt67xzfznfe7bkkdghmbiafzdq

Process mining: a research agenda

W.M.P. van der Aalst, A.J.M.M. Weijters
2004 Computers in industry (Print)  
In this paper, we try to put the topic of process mining into context, discuss the main issues around process mining, and finally we introduce the papers in this special issue.  ...  Enterprise information systems support and control operational business processes ranging from simple internal back-office processes to complex interorganizational processes.  ...  In this special issue In this section we briefly introduce the six papers selected for this special issue on process mining.  ... 
doi:10.1016/j.compind.2003.10.001 fatcat:areplhnmu5cnxcxocifypwqpbi

Modeling and Validation of the Dynamic Host Configuration Protocol with Colored Petri Nets

Farhad Soleimanian Gharehchopogh, Reza Soufizadeh
2012 International Journal of Electrical and Computer Engineering (IJECE)  
Petri Networks with a graphical language are based on mathematical logic which have many uses and have capability for modeling and validation of distributed systems and concurrent applications.  ...  Colored Petri Networks (CPNs) are a type of Petri Network models that are used in modeling of systems which contain discrete and scattered events.  ...  In Petri network two phases of analysis and implementation take place simultaneously and also supports concurrency and are suitable for distributed systems and also are used for actual system implementation  ... 
doi:10.11591/ijece.v2i3.488 fatcat:wrhfyggbtbfpjinmsknprut6oa

Recovery within long-running transactions

Christian Colombo, Gordon J. Pace
2013 ACM Computing Surveys  
Transactions enable the handling of failure propagation over concurrent systems due to dependencies, restoring the system to the point before the failure occurred.  ...  In this survey, we review the compensations from a theoretical point of view by: (i) giving a historic account of the evolution of compensating transactions; (ii) delineating and describing a number of  ...  ACKNOWLEDGMENTS We wish to thank Adrian Francalanza for his feedback on preliminary versions of this paper, and the anonymous reviewers who provided concrete feedback on the content and presentation of  ... 
doi:10.1145/2480741.2480745 fatcat:zj4tke2k4bbcvljiaeybh56vpa

Markov nets: probabilistic models for distributed and concurrent systems

A. Benveniste, E. Fabre, S. Haar
2003 IEEE Transactions on Automatic Control  
Our basic mathematical tool is that of Petri net unfoldings.  ...  In this paper, motivated by the monitoring of distributed systems and in particular of telecommunications networks, we develop a generalization of Markov chains and hidden Markov models (Hmm) for distributed  ...  Acknowledgement The authors wish to thank Samy Abbes for pointing out mistakes in a draft version of this article.  ... 
doi:10.1109/tac.2003.819076 fatcat:bmtcgmj2tbdhxbfwtthq4vbwiq

Process Mining

Wil van der Aalst
2012 ACM Transactions on Management Information Systems  
The practical relevance of process mining and the interesting scientific challenges make process mining one of the "hot" topics in Business Process Management (BPM).  ...  Process models are used for analysis (e.g., simulation and verification) and enactment by BPM/WFM systems. Previously, process models were typically made by hand without using event data.  ...  , books, videos, and special issues of journals.  ... 
doi:10.1145/2229156.2229157 fatcat:gmrhbgvqqffvxbrz7nqai4q7o4

Basic research in computer science and software engineering at SKLCS

Jian Zhang, Wenhui Zhang, Naijun Zhan, Yidong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
2008 Frontiers of Computer Science in China  
The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages,  ...  model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer  ...  Theories of concurrency include process algebras, Petri nets and temporal logics. For verification of concurrent systems, one of the most practical methods is model checking.  ... 
doi:10.1007/s11704-008-0001-3 fatcat:zgeczciftbc47o5atyg27ingvi

Petri Net Modeling of Cyber-Physical Attacks on Smart Grid

Thomas M. Chen, Juan Carlos Sanchez-Aarnoutse, John Buford
2011 IEEE Transactions on Smart Grid  
However, Petri net models for attacks on very large critical infrastructures such as the smart grid require a great amount of manual effort and detailed expertise in cyber-physical threats.  ...  Abstract-This paper investigates the use of Petri nets for modeling coordinated cyber-physical attacks on the smart grid.  ...  Petri Nets Petri nets have been popular models for various types of asynchronous, concurrent processes.  ... 
doi:10.1109/tsg.2011.2160000 fatcat:h6xu65eybrdwzobrw6wzuknbwa

Cooperative Support for Distributed Supervisory Control: Christopher A. Jasek and Patricia M. Jones [chapter]

2013 Coordination Theory and Collaboration Technology  
.) • Facilitating the Development and Use of Interactive Learning Environments Finn et a1. (Eds.) • Video-Mediated Communication  ...  "PetrI nets: Properties, analysis and applications". Proceedings of the IEEE, 77(4):541-580, April 1989. 17. James L. Peterson. Petri Net Theory and the Modeling ofSystems.  ...  IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Distributed Artificial Intelligence, 21(6):1317-1324, December. Zlotkin, G. and J. S. Rosenscheln. 1993.  ... 
doi:10.4324/9781410605863-15 fatcat:dvu34c5ierar7ijjg53knzwikm

A fuzzy Petri net-based expert system and its application to damage assessment of bridges

J. Lee, K.F.R. Liu, Weiling Chiang
1999 IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)  
A framework of integrated expert systems based on our fuzzy Petri net, called fuzzy Petri net-based expert system (FPNES), is implemented in Java.  ...  In this paper, a fuzzy Petri net approach to modeling fuzzy rule-based reasoning is proposed to bring together the possibilistic entailment and the fuzzy reasoning to handle uncertain and imprecise information  ...  Lin for his early work on this project.  ... 
doi:10.1109/3477.764869 pmid:18252319 fatcat:6xtczl6tmrbqbhjsso7iztmhla

Managing overlapping transactional workflows [chapter]

Juha Puustjärvi, Henry Tirri, Jari Veijalainen
1996 Lecture Notes in Computer Science  
Workflow management techniques have become an intensive area of research in information systems.  ...  In this paper we study the issues related to management of overlapping transactional workflows, i.e., workflows that share component tasks and thus avoid redundancy in design.  ...  Such constraints can be specified e.g., by triggers [7, 6] of which the ECA rules are a special case, by Petri nets [16] or by finite state automaton [1] .  ... 
doi:10.1007/3-540-61292-0_19 fatcat:voixg3jmjje7pob5nbqrkihdsq

Mining process models with non-free-choice constructs

Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun
2007 Data mining and knowledge discovery  
Using a Petri-net-based representation, we will show that there are two kinds of causal dependencies between tasks, i.e., explicit and implicit ones.  ...  In this paper, we focus on mining non-free-choice constructs, i.e., situations where there is a mixture of choice and synchronization.  ...  Moreover, Petri nets provide all kinds of routings supported by a variety of process-aware information systems (e.g., WFM, BPM, ERP, PDM, and CRM systems) in a natural way.  ... 
doi:10.1007/s10618-007-0065-y fatcat:lprjbiwt75dy3nzgelpmjb25ue

Foundations of data-aware process analysis

Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013 Proceedings of the 32nd symposium on Principles of database systems - PODS '13  
In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community.  ...  We argue that it is this community that should lay the foundations to solve, at least from the point of view of formal analysis, the dichotomy between data and processes still persisting in business process  ...  for stimulating ideas, inspiring discussions, and novel insights on the topics of this paper.  ... 
doi:10.1145/2463664.2467796 dblp:conf/pods/CalvaneseGM13 fatcat:t7zhz35ca5c6nlcurzmm2wz3mu

Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior

Wil van der Aalst
2013 IEEE Transactions on Services Computing  
GP3: Concurrency, Choice and Other Basic Control-Flow Constructs Should be Supported A plethora of process modeling languages exists (e.g., BPMN, EPCs, Petri nets, BPEL, and UML activity diagrams).  ...  The result is typically expressed in terms of a Petri net or some other process notation (e.g., EPCs, BPMN, or UML activity diagrams).  ... 
doi:10.1109/tsc.2012.25 fatcat:rjwv6jo6eretfkwnpv3vpc3ehu

Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures

Ying Liu, Walter Cazzola, Bin Zhang
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
In this paper, we extend the reflective Petri nets approach to overcome such limits and show that on a case study.  ...  Reflective Petri nets separate the system from its evolution by describing it and how it can evolve.  ...  Mostly all formal methods like process algebra [9] and Petri nets [7] only model the system and its state without considering its evolution, when the system evolves, we have to re-model it.  ... 
doi:10.1145/2245276.2232081 dblp:conf/sac/LiuCZ12 fatcat:usixfc535fdxrjre42jkkctw5i
« Previous Showing results 1 — 15 out of 972 results