A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce

2009 ◽  
pp. 324-336 ◽  
Author(s):  
Shujuan Ji ◽  
Qijia Tian ◽  
Yongquan Liang
Keyword(s):  
Electronic Commerce ◽  
Petri Net ◽  
Automated Negotiation ◽  
Modeling Framework ◽  
Negotiation Protocols

scholarly journals Model petri net of adaptive traffic lights and its collaboration with a special event

2018 ◽  
Vol 147 ◽  
pp. 02005
Author(s):  
Tomi Tristono ◽  
Setiyo Daru Cahyono ◽  
Sutomo ◽  
Pradityo Utomo
Keyword(s):  
Petri Net ◽  
Fixed Time ◽  
Time Interval ◽  
System Control ◽  
Model Design ◽  
Modeling Framework ◽  
Urban Network ◽  
Traffic Demand ◽  
Traffic Lights ◽  
Collaboration Model

Traffic lights have an important role as the system control of vehicles flow on the urban network. Commonly, most countries still using fixed time strategy. Our research proposes the adaptive traffic lights model to response the traffic demand. It uses basic Petri net as a general modeling framework. Foractuating method of minimum and maximum green signal time interval, the green traffic lights have three-time extension units. Next, we collaborate on a case of the existence of railways that crosses on the southern arm of an intersection. We introduce both of collaboration model design of traffic lights and the railway's gate which always closes while a train passing. Verification and validation of the model are based on the simulation result of vehicles queue. The collaboration model design of traffic lights has excellent performance, and it can resolve the congestion problem better than conventional schedule.

A FORMAL YET PRACTICAL APPROACH TO ELECTRONIC COMMERCE

2002 ◽  
Vol 11 (01n02) ◽  
pp. 93-117 ◽  
Author(s):  
DAVID KONOPNICKI ◽  
LIOR LEIBA ◽  
ODED SHMUELI ◽  
YEHOSHUA SAGIV
Keyword(s):  
Electronic Commerce ◽  
Theoretical Investigation ◽  
Data Structures ◽  
The Other ◽  
Software Components ◽  
Automated Negotiation ◽  
Formal Description ◽  
Electronic Contract ◽  
Automated Tools ◽  
Deal Making

This work explores (semi-)automated EC on the WWW. The EContracts framework enables EC WWW sites and EC automated tools to present standardized information. This information (1) allows each party to decide whether it wishes to engage in an EC activity with the other party, (2) enables automated negotiation between the parties, and (3) enables the establishment of an electronic contract, i.e. a formal description of an agreed upon EC transaction. The EContracts framework defines the basic software components of an EC party and their interconnections. Based on the EContracts framework, various applications can be built. Examples are deal making applications, deal feasibility checkers, brokers etc. Furthermore, the definitions of the data structures and the algorithms enable a theoretical investigation of automated commerce.

Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems

1996 ◽  
Author(s):  
Ming Dong ◽  
Jianzhong Cha
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Systematic Approach ◽  
Modeling Language ◽  
Qualitative Properties ◽  
Top Down ◽  
Modeling Framework ◽  
Hybrid Petri Nets ◽  
Enterprise Model ◽  
Stochastic Time

Abstract The integrated model of an enterprise can be built by making use of the CIMOSA modeling framework and modeling language. The behaviour analysis of the CIMOSA enterprise model can be made by the sets of procedural rules. In order to make further performance analysis of the CIMOSA enterprise model, this paper presents a systematic approach to transform the CIMOSA enterprise model into a equivalent stochastic Petri net model. The systematic approach is a hybrid Petri nets synthesis technology which integrates the “bottom-up” and “top-down” modeling approaches. The resulting Petri net obtained from this approach preserve the same qualitative properties of its original Petri net.

Sign in / Sign up

Export Citation Format

Share Document