Workshop date: 22 June, 1999
of accepted papers
Computer Science Department
California State University, Sacramento (USA)
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:
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
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.
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):
Types of desirable contributions include:
knowledge base design and verification
intelligent monitoring and control of discrete systems
fuzzy Petri Nets
relationship between Petri Nets and logic
distributed agent intelligent systems
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
tools papers (Petri Nets based tools and methodologies for IS development
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.
Authors are invited to send a Postscript file of a paper in LNCS style
(max. 8 pages) by e-mail to firstname.lastname@example.org
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
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.
for camera-ready preparation.
The camera-ready for accepted papers must be prepared by following LNCS
Final papers must be a maximum of 12 pages and must be e-mailed
as Postscript files to email@example.com
by May 14 (with Subject: CR Copy ).
In addition one hardcopy must be sent to the following address:
Dipartimento di Informatica - Universita' di Torino
C.so Svizzera 185 - 10149 Torino (ITALY)
tel: +39 0116706711 fax: +39 011751603
The use of an express courier is recommended.
|Submission of the paper:
||April 6, 1999
|Notification of acceptance/rejection:
||April 20, 1999
||May 14, 1999
||June 22, 1999
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.
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