COMBINING STRUCTURED DOCUMENTS WITH HIGH-LEVEL PETRI-NETS FOR WORKFLOW MODELING IN INTERNET-BASED COMMERCE

1998 ◽  
Vol 07 (04) ◽  
pp. 275-296 ◽  
Author(s):  
WOLFGANG WEITZ
Keyword(s):  
Petri Nets ◽  
Business Processes ◽  
The Internet ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Order Processing ◽  
New Variant ◽  
Structured Documents ◽  
High Level ◽  
Electronic Document Interchange

This article discusses the application of a new variant of high-level Petri nets, the so-called SGML nets, for modeling business processes in the area of Internet-based commerce. SGML nets are designed to capture the process of generating and manipulating structured documents based on the international standard SGML. Since the currently most relevant document standards on the Internet are HTML (an SGML application) and XML (a subset of SGML), SGML nets offer an elegant way to integrate central aspects of Electronic Commerce applications, such as the generation of online product catalogs, processing of online orders, and electronic document interchange between companies, into a unified formal workflow model. The article gives an introduction to the central concepts of SGML nets and includes an example of their application from the area of online order processing.

Formal verification of complex business processes based on high-level Petri nets

2017 ◽  
Vol 385-386 ◽  
pp. 39-54 ◽  
Author(s):  
Ahmed Kheldoun ◽  
Kamel Barkaoui ◽  
Malika Ioualalen
Keyword(s):  
Petri Nets ◽  
Formal Verification ◽  
Business Processes ◽  
High Level

On the Management Performance of Networked Environments Using Web Services Technologies

2010 ◽  
pp. 724-741
Author(s):  
Lisandro Zambenedetti Granville ◽  
Ricardo Neisse ◽  
Ricardo Lemos Vianna ◽  
Tiago Fioreze
Keyword(s):  
Web Services ◽  
Marketing Strategy ◽  
Business Processes ◽  
Data Networks ◽  
The Internet ◽  
Traditional Management ◽  
Xml Documents ◽  
High Level ◽  
Hostile Environments ◽  
Monitoring Information

The management of telecommunication and data networks has been based on standards defined in historical contexts quite different than the current times. As a consequence, traditional management technologies are not able to address important challenges posed by the modern infrastructures. Web Services technologies enable the proper communication of processes deployed on quite hostile environments such as the Internet. The use of Web Services for management allows the integration of low-level activities (e.g., retrieving monitoring information from gateways) with high-level business processes (e.g., creating a new product and its marketing strategy.) Despite clear advantages, Web Services-based management does not come for free; since Web Services are based on XML documents, its performance, compared with traditional management technologies, may represent an important drawback. This chapter covers the aspects of using Web Services for management focusing on the different interactions between managers and devices and the performance associated with it.

Workflow Modeling for Cooperative Production Development Based upon Advanced Petri Net

2008 ◽  
Vol 392-394 ◽  
pp. 810-815
Author(s):  
L.H. Zou ◽  
D.M. Gou ◽  
C.L. Sun ◽  
H. Gao
Keyword(s):  
Product Development ◽  
Petri Nets ◽  
Petri Net ◽  
Process Modeling ◽  
Process Management ◽  
Workflow Management ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Production Development ◽  
Cooperative Production

Process modeling of Cooperative Product Development (CPD) is the key of CPD process management. Analyzing the process of developing production based upon Petri Nets, referring to workflow management and combining with parallel project, a new workflow modeling method based upon layered timed color Petri nets is invented, which supports the developing of the model production that parallels CAD/CAPP. Finally taking the developing CDP of model product as an example, workflow model has been designed and has been inspected and verified in the software platform.

On the Management Performance of Networked Environments Using Web Services Technologies

2011 ◽  
pp. 1768-1785
Author(s):  
Lisandro Zambenedetti Granville ◽  
Ricardo Neisse ◽  
Ricardo Lemos Vianna ◽  
Tiago Fioreze
Keyword(s):  
Web Services ◽  
Marketing Strategy ◽  
Business Processes ◽  
Data Networks ◽  
The Internet ◽  
Traditional Management ◽  
Xml Documents ◽  
High Level ◽  
Hostile Environments ◽  
Monitoring Information

The management of telecommunication and data networks has been based on standards defined in historical contexts quite different than the current times. As a consequence, traditional management technologies are not able to address important challenges posed by the modern infrastructures. Web Services technologies enable the proper communication of processes deployed on quite hostile environments such as the Internet. The use of Web Services for management allows the integration of low-level activities (e.g., retrieving monitoring information from gateways) with high-level business processes (e.g., creating a new product and its marketing strategy.) Despite clear advantages, Web Services-based management does not come for free; since Web Services are based on XML documents, its performance, compared with traditional management technologies, may represent an important drawback. This chapter covers the aspects of using Web Services for management focusing on the different interactions between managers and devices and the performance associated with it.

scholarly journals CONFIGURABLE WORKFLOW MODELS

2008 ◽  
Vol 17 (02) ◽  
pp. 177-221 ◽  
Author(s):  
FLORIAN GOTTSCHALK ◽  
WIL M. P. VAN DER AALST ◽  
MONIQUE H. JANSEN-VULLERS ◽  
MARCELLO LA ROSA
Keyword(s):  
Business Processes ◽  
Modeling Language ◽  
Modeling Languages ◽  
Workflow Model ◽  
Workflow Modeling

Workflow modeling languages allow for the specification of executable business processes. They, however, typically do not provide any guidance for the adaptation of workflow models, i.e. they do not offer any methods or tools explaining and highlighting which adaptations of the models are feasible and which are not. Therefore, an approach to identify so-called configurable elements of a workflow modeling language and to add configuration opportunities to workflow models is presented in this paper. Configurable elements are the elements of a workflow model that can be modified such that the behavior represented by the model is restricted. More precisely, a configurable element can be either set to enabled, to blocked, or to hidden. To ensure that such configurations lead only to desirable models, our approach allows for imposing so-called requirements on the model's configuration. They have to be fulfilled by any configuration, and limit therefore the freedom of configuration choices. The identification of configurable elements within the workflow modeling language of YAWL and the derivation of the new "configurable YAWL" language provide a concrete example for a rather generic approach. A transformation of configured models into lawful YAWL models demonstrates its applicability.

Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets

2011 ◽  
Vol 186 ◽  
pp. 505-509 ◽  
Author(s):  
Yong Shan Liu ◽  
Yan Qing Shen ◽  
Tian Bao Hao
Keyword(s):  
Petri Nets ◽  
Modeling Method ◽  
Colored Petri Nets ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Top Down ◽  
Reliability Modeling ◽  
Formal Definitions ◽  
Global And Local

To reduce the complexity of cross-organizational workflow modeling and verification, a reliable modeling method of cross-organizational workflows based on hierarchical colored Petri nets is proposed. At the foundation of discussing formal definitions of global and local workflows, the paper develops reliability modeling constraints of cross-organizational workflows from structure to logic. Under these constraints, a top-down cross-organizational workflow model is built. Those substitution transitions which input places were safe in global workflow are refined by reliable local workflows to guarantee the reliability of cross-organizational workflow model.

COMPOSITIONAL VERIFICATION FOR WORKFLOW NETS

2006 ◽  
Vol 15 (04) ◽  
pp. 551-570 ◽  
Author(s):  
LI JIAO ◽  
TO-YAT CHEUNG
Keyword(s):  
Petri Nets ◽  
Business Processes ◽  
Extended Model ◽  
Workflow Modeling ◽  
Compositional Verification ◽  
Workflow Nets ◽  
Business Context ◽  
Correctness Criterion ◽  
The Relationship ◽  
Compositional Method

A workflow is the automation of business processes that describe activities in a business context. Petri nets have been widely used as a workflow modeling technique. Workflow nets (WF-nets), introduced by van der Aalst [LNCS1248 (1997) 407–426], are a class of Petri nets tailored towards workflow analysis. Soundness is used as the least correctness criterion for WF-nets in order to ensure that a process can terminate properly. This paper extends WF-nets by considering resources and allowing for multi-cases in a process. For the extended model, the relationship between soundness and standard behavior properties of Petri nets is investigated. A compositional method to construct and verify sound WF-nets is introduced.

Design and Simulation of Smart Control System for Internet Traffic Distribution on Servers by Using Fuzzy Logic System

2018 ◽  
Vol 2 (1) ◽  
Author(s):  
Raid Daoud ◽  
Yaareb Al-Khashab
Keyword(s):  
Fuzzy Logic ◽  
Control System ◽  
Input Parameter ◽  
Traffic Density ◽  
The Internet ◽  
Linguistic Variables ◽  
Internet Service ◽  
Traffic Distribution ◽  
Smart Control ◽  
High Level

The internet service is provided by a given number of servers located in the main node of internet service provider (ISP). In some cases; the overload problem was occurred because a demand on a given website goes to very high level. In this paper, a fuzzy logic control (FLC) has proposed to distribute the load into the internet servers by a smart and flexible manner. Three effected parameters are tacked into account as input for FLC: link capacity which has three linguistic variables with Gaussian membership function (MF): (small, medium and big), traffic density with linguistic variables (low, normal and high) and channel latency with linguistic variables (empty, half and full); with one output which is the share server status (single, simple and share). The proposed work has been simulated by using MATLAB 2016a, by building a structure in the Fuzzy toolbox. The results were fixed by two manners: the graphical curves and the numerical tables, the surface response was smoothly changed and translates the well-fixed control system. The numerical results of the control system satisfy the idea of the smart rout for the incoming traffics from the users to internet servers. So, the response of the proposed system for the share of server ratio is 0.122, when the input parameter in the smallest levels; and the ratio is 0.879 when the input parameters are in highest level. The smart work and flexible use for the FLC is the main success solution for most of today systems control.

Sign in / Sign up

Export Citation Format

Share Document