Sciweavers

1019 search results - page 12 / 204
» Petri Net Transformations in the
Sort
View
89
Voted
IADIS
2004
14 years 11 months ago
Constructing Scorm Compliant Course Based on High Level Petri Nets
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...
APN
2006
Springer
15 years 1 months ago
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
This paper presents the EXHOST-PIPE software: an extension of PIPE
Olivier Bonnet-Torrés, Patrice Domenech, Ch...
ATAL
2007
Springer
15 years 3 months ago
Winner determination for mixed multi-unit combinatorial auctions via petri nets
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
Andrea Giovannucci, Juan A. Rodríguez-Aguil...
TSMC
2010
14 years 4 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
APN
1997
Springer
15 years 1 months ago
Life-Cycle Inheritance: A Petri-Net-Based Approach
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
Wil M. P. van der Aalst, Twan Basten