1,078 research outputs found
Simplifying the verification of simulation models through Petri net to FlexSim mapping
Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim, a well-known simulation tool. The proposal is illustrated through an example of how a model specified in a Petri net can be encoded easily, reducing the time needed to understand and verify the model. In the proposed methodology, the mapping must be defined at the initial stage of the encoding, starting from (in this case) a Petri net conceptual model, and ending at the encoding tool (FlexSim in this case). The main advantages of the proposed methodology are discussed.Peer ReviewedPostprint (author's final draft
Tackling Complexity: Process Reconstruction and Graph Transformation for Financial Audits
A key objective of implementing business intelligence tools and methods is to analyze voluminous data and to derive information that would otherwise not be available. Although the overall significance of business intelligence has increased with the general growth of processed and available data it is almost absent in the auditing industry. Public accountants face the challenge to provide an opinion on financial statements that are based on the data produced by the automated processing of countless business transactions in ERP systems. Methods for mining and reconstructing financially relevant process instances can be used as a data analysis tool in the specific context of auditing. In this article we introduce and evaluate an algorithm that effectively reduces the complexity of mined process instances. The presented methods provide a part of the foundation for implementing automated analysis and audit procedures that can assist auditors to perform more efficient and effective audits
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007
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 workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0
Application of hypergraphs in decomposition of discrete systems
seria: Lecture Notes in Control and Computer Science ; vol. 23
Engineering framework for service-oriented automation systems
Tese de doutoramento. Engenharia Informática. Universidade do Porto. Faculdade de Engenharia. 201
Software Engineering and Petri Nets
This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. The workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are available in electronic form via the web page:http://www.daimi.au.dk/pn2000/proceeding
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005
This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2005. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0
ACHIEVING AUTONOMIC SERVICE ORIENTED ARCHITECTURE USING CASE BASED REASONING
Service-Oriented Architecture (SOA) enables composition of large and complex
computational units out of the available atomic services. However, implementation of
SOA, for its dynamic nature, could bring about challenges in terms of service
discovery, service interaction, service composition, robustness, etc. In the near future,
SOA will often need to dynamically re-configuring and re-organizing its topologies of
interactions between the web services because of some unpredictable events, such as
crashes or network problems, which will cause service unavailability. Complexity and
dynamism of the current and future global network system require service architecture
that is capable of autonomously changing its structure and functionality to meet
dynamic changes in the requirements and environment with little human intervention.
This then needs to motivate the research described throughout this thesis.
In this thesis, the idea of introducing autonomy and adapting case-based reasoning
into SOA in order to extend the intelligence and capability of SOA is contributed and
elaborated. It is conducted by proposing architecture of an autonomic SOA
framework based on case-based reasoning and the architectural considerations of
autonomic computing paradigm. It is then followed by developing and analyzing
formal models of the proposed architecture using Petri Net. The framework is also
tested and analyzed through case studies, simulation, and prototype development. The
case studies show feasibility to employing case-based reasoning and autonomic
computing into SOA domain and the simulation results show believability that it
would increase the intelligence, capability, usability and robustness of SOA. It was
shown that SOA can be improved to cope with dynamic environment and services
unavailability by incorporating case-based reasoning and autonomic computing
paradigm to monitor and analyze events and service requests, then to plan and execute
the appropriate actions using the knowledge stored in knowledge database
- …