Workshop date: 22 June, 1999
Organizers:
|
Du Zhang
|
|
Computer Science Department
|
|
California State University, Sacramento (USA)
|
List
of accepted papers
Workshop
Description.
The application of Petri Nets to the development of Intelligent Systems
(IS) has been receiving an increasing attention, since there are many fundamental
problems addressed by Artificial Intelligence for which Petri Net formalism
has played or will play an important role.
Petri nets have already found their way into the development of different
types of intelligent systems. Tasks addressed by these systems include:
planning, scheduling, diagnosis, supervision and monitoring of discrete
systems, uncertain or vague knowledge representation, knowledge base design
and verification, distributed agents cooperation, etc...
Petri nets offers a very effective framework in dealing with various
issues of intelligent system development for two main reasons:
-
the net model can be interpreted as a clear and well-defined knowledge
representation language for the task at hand;
-
analysis techniques can be exploited as reasoning mechanisms to perform
the given task.
Finally, recent advances in the development of intelligent agent systems
in the INTERNET/INTRANET and WEB environments open new opportunities for
using Petri Nets techniques in both the design and the analysis of such
cutting-edge applications.
The aim of the workshop is to bring together researchers and people
from industry from both Petri Nets and IS communities who are involved
in the study and development of flexible intelligent systems.
The main goal is to provide a forum where different experiences and
points of views on intelligent system development can be discussed and
shared among workshop participants.
Topics of interest include (but are not limited to):
-
knowledge base design and verification
-
search strategies
-
scheduling
-
planning
-
intelligent monitoring and control of discrete systems
-
diagnosis
-
fuzzy Petri Nets
-
relationship between Petri Nets and logic
-
constraint-based reasoning
-
temporal reasoning
-
distributed agent intelligent systems
Types of desirable contributions include:
-
theoretic papers (Petri Nets as the theoretical underpinnings for knowledge
representation formalism, reasoning mechanism, modeling/analyzing/diagnosing
method in IS, study of new Petri Nets formalisms to tackle issues in IS
development)
-
tools papers (Petri Nets based tools and methodologies for IS development
life cycle)
-
survey papers (state-of-the-art or state-of-the-pactice in application
of Petri Nets in developing IS or types of IS applications where Petri
Nets play a major role)
-
status report of real world IS systems/applications built with Petri Nets
as a corner stone of the system.
Submission
Authors are invited to send a Postscript file of a paper in LNCS style
(max. 8 pages) by e-mail to ispn@di.unito.it
with Subject: submission.
The deadline for submission is April 6, 1999.
Templates for LNCS style can be obtained at http://www.springer.de/comp/lncs/authors.html
(either
for LaTex or Word)
Papers must be in English and must clearly state the problem being addressed,
the goal of the work, the results achieved and the relation to other works.
Guidelines
for camera-ready preparation.
The camera-ready for accepted papers must be prepared by following LNCS
style.
Final papers must be a maximum of 12 pages and must be e-mailed
as Postscript files to ispn@di.unito.it
by May 14 (with Subject: CR Copy ).
In addition one hardcopy must be sent to the following address:
Luigi Portinale
Dipartimento di Informatica - Universita' di Torino
C.so Svizzera 185 - 10149 Torino (ITALY)
tel: +39 0116706711 fax: +39 011751603
e-mail: portinal@di.unito.it
The use of an express courier is recommended.
Important
Dates
| Submission of the paper: |
April 6, 1999 |
| Notification of acceptance/rejection: |
April 20, 1999 |
| Camera-ready submission: |
May 14, 1999 |
| Workshop: |
June 22, 1999 |
Registration
Registration information can be found at the following WWW page: http://www.cs.wm.edu/pn99/registration.html
At least one author of each accepted paper has to register by the deadline
of MAY 14.
Other
Information
Working Notes will be distributed at the workshop.
Information about the present workshop can also be obtained via:
Page by L. Portinale
Last update: April 29, 1999