A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
2008
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
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
2004
Computers in industry (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Electrical and Computer Engineering (IJECE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2012
ACM Transactions on Management Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2008
Frontiers of Computer Science in China
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
IEEE Transactions on Smart Grid
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
.) • 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
1999
IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Data mining and knowledge discovery
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 32nd symposium on Principles of database systems - PODS '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2013
IEEE Transactions on Services Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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