Network Supplier Credit Management: Models Based on Petri Net

In current credit evaluation methods, the credit condition of the network supplier and the credit degree of each index cannot be described well, and the credit evaluation data only source of the transaction platform have much limitation. This research proposes the method of calculating the importance and the value of the credit evaluation indexes, and proposes to put credit evaluation into big data environment. This research uses the transaction process of B2C as the case, and constructs multiple attribute weighted Petri net credit index subnet (CWPSN) for realizing the credit evaluation of the network supplier, and for presenting the correlations among the evaluation results of the credit evaluation indexes, and for presenting the importance of the indexes and the credit degree of each index, and describes the cost optimization process with credit cost optimization investment process Petri net (CCOIPPN). By the case to verify the credit evaluation method based on Petri net and the cost optimization method based on Petri net. The researches have provided methods for clearly and concretely describing the process of credit evaluation and cost optimization of network supplier, and have guidance significance for similar other researches

Interaction protocols for cross-organisational workflows

Workflow technologies are widely used in industry and commerce to assist in the specification, execution and completion of well defined processes within organisations. As industrial and commercial relations have evolved, based on advances on information and communications technologies, cross-organisational workflow integration has become an important issue. Since organisations can have very different workflows, the creation of compatible workflows so that organisations can collaborate and/or carry out mutual transactions automatically in an integrated fashion can be a very complex and time consuming process. As a consequence, the development of technologies to support the creation and execution of compatible workflows is a most relevant issue. In the present article we introduce the JamSession coordination platform as a tool to implement cross-organisational workflow integration. JamSession is declarative and based on algebraic specification methods, and therefore workflow integration implemented using this platform can profit from formal behavioural analysis, based on which desired features and properties can be verified and/or obtained

Measurements, Models, Systems and Design

531 s.

Simulation Modelling Practice and Theory

The influx of data in the world today needs analysis that no one method can handle. Some reports estimated the influx of data would reach 163 zitabytes by 2025, hence the need for simulation and modeling theory and practice. Simulation and modeling tools and techniques are most important in this day and age. While simulation carries the needed work, tools for visualizing the results help in the decision-making process. Simulation ranges from a simple queue to molecular dynamics, including seismic reliability analysis, structural integrity assessment, games, reliability engineering, and system safety. This book will introduce practitioners, researchers, and novice users to simulation and modeling, and to the world of imagination

SIMULATING EXOGENOUS SHOCKS IN COMPLEX SUPPLY NETWORKS USING MODULAR STOCHASTIC PETRI NETS

Almost all major companies are embedded in complex, global supply networks, consisting of multiple nested supply chains, and building up a high level of complexity. Exogenous shocks on these networks (e.g. natural disasters) can directly and indirectly impact companies and even cause their entire supply network to fail. However, today it is extremely difficult for a company to predict the actual impact of an exogenous shock on its supply network. Hence, companies are not able to identify adequate counteractive measures. Therefore safeguarding measures are oftentimes insufficient or even counterproductive. This paper deals with modelling, analyzing and quantifying impacts of exogenous shocks on supply networks using Petri Nets. It provides means to simulate the vulnerability of different network constellations regarding exogenous influences. In order to evaluate the proposed method, we simulate different intensities of an exogenous shock delaying the delivery for an exemplary supply network. We thereby illustrate which results could be yielded from a real-world application. For our exemplary network we find that the marginal effect of a disruption declines with an increasing intensity of shock. Moreover, the impact of shocks can be mitigated by appropriate counteractive measures like in this example by an increased safety margin of stock

Proceedings of SUMo and CompoNet 2011

International audienc

Automated Certification for Compliant Cloud-based Business Processes

A key problem in the deployment oflarge-scale, reliable cloud computingconcerns the difficulty to certify thecompliance of business processes operatingin the cloud. Standard auditprocedures such as SAS-70 and SAS-117 are hard to conduct for cloudbasedprocesses. The paper proposesa novel approach to certify the complianceof business processes with regulatoryrequirements. The approach translatesprocess models into their correspondingPetri net representationsand checks them against requirementsalso expressed in this formalism. Beingbased on Petri nets, the approach provideswell-founded evidence on adherenceand, in case of noncompliance, indicatesthe possible vulnerabilities

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006. 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

Lexecute: visualisation and representation of legal procedures

Jörn Freiheit, Marc Luuk, Susanne Münch, Grozdana Sijanski and Fabrice Zangl set out the work they have undertaken for the eJustice programme of the EU and how legal procedures can be captured in digital format

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