Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29-31, 2001

This booklet contains the proceedings of the Third Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, August 29-31, 2001. The workshop is organised by the CPN group at 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/workshop01

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

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

Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004

This booklet contains the proceedings of the Fifth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 8-11, 2004. 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

Dynamic communication across supply chain services

This thesis deals with the design of communication protocol solutions across a Supply Chain Management System. These solutions are capable of operating in multi-agent environments, and allow customers to order services online. As part of two Australian Research Council (ARC) grants, it is divided into four main sections. The first issue deals with a dynamic communication protocol, which aims at agent-to-agent operability in an open environment, such as the Internet. In the second section, we proposed a protocol correctness system, which enables detection of deadlock errors in communication protocols. Further, a comparison of the proposed validation techniques and those currently in use, is provided. Next, the problem of routing and scheduling in the transport industry was tackled, resulting in the development of an autonomous route scheduling system, MIDAS (Mobile Intelligent Distributed Application Software). The MIDAS server uses wireless technology to communicate with different parts of the system, which was investigated in the final section of the thesis. The MIDAS system was tested on devices with a GSM-enabled network connection, with results indicating that it takes less than thirty seconds for information to be processed and transmitted. Further, studies relating to this topic could involve extensions of the proposed systems using SOAP (Simple Object Access Protocol). While undertaking my PhD, I wrote the following five papers, which were published in various journals and conferences: 1. Towards the Right Communication Protocol for Web Services, International Journal for Web Services Research (IJWSR), June 2005 2. MIDAS - An Integrated E-Commerce Solution for the Australian Transport Industries, International Journal on Web Engineering and Technology (IJWET), 1(3), 353-373, October 2004 3. MIDAS’s Routing and Scheduling Approach for the Australian Transport Industries, International OTM (OntheMove) Workshops, November 2003 4. An XML-based Conversational Protocol for Web Services, 18th ACM International Symposium on Applied Computing (SAC), 1179-1184, May 2003 5. Towards Robust and Scalable Infrastructure for Web Service, IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), December 200

Feature interaction in composed systems. Proceedings. ECOOP 2001 Workshop #08 in association with the 15th European Conference on Object-Oriented Programming, Budapest, Hungary, June 18-22, 2001

Feature interaction is nothing new and not limited to computer science. The problem of undesirable feature interaction (feature interaction problem) has already been investigated in the telecommunication domain. Our goal is the investigation of feature interaction in componet-based systems beyond telecommunication. This Technical Report embraces all position papers accepted at the ECOOP 2001 workshop no. 08 on "Feature Interaction in Composed Systems". The workshop was held on June 18, 2001 at Budapest, Hungary

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. 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.cs.au.dk/CPnets/events/workshop0