From: [log in to unmask] (Luigi Portinale)
**********************************************************************
APPLICATION OF PETRI NETS TO INTELLIGENT SYSTEM DEVELOPMENT
A workshop within the 20th International Conference on Applications
and Theory of Petri Nets
21-25 June, 1999
Williamsburg, VA, USA
**********************************************************************
ORGANIZERS:
Luigi Portinale
Dipartimento di Informatica
Universita' di Torino (ITALY)
Robert Valette
LAAS-CNRS
Toulouse (FRANCE)
Du Zhang
Department of Computer Science
California State University, Sacramento (USA)
--------------------------------------------------------------------------
--
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 offer 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 Net based tools and methodologies for IS
development life cycle)
- survey papers (state-of-the-art or state-of-the-practice 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 cornerstone 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 [log in to unmask]
with Subject: submission.
The deadline for submission is March 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 following
LNCS style.
Final papers must be a maximum of 12 pages and must be e-mailed
as postscript files to [log in to unmask] 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 0117429111 fax: +39 011751603
e-mail: [log in to unmask]
The use of an express courier is recommended.
--------------------------------------------------------------------------
--
IMPORTANT DATES
- Submission of the paper: March 6, 1999
- Notification of acceptance/rejection: April 15, 1999
- Camera-ready submission: May 14, 1999
- Workshop: June 21 or June 22, 1999
--------------------------------------------------------------------------
--
Working Notes will be distributed at the workshop.
Future information about the workshop will be available via:
- "Announcements of Events" on the Petri Net WWW pages
http://www.daimi.aau.dk/PetriNets/annce
- "Petri Nets '99 WWW pages"
http://www.cs.wm.edu/pn99
- "Workshop WWW page"
http://www.di.unito.it/~portinal/ispn.html
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|