Last CFP Petri Nets and Intelligent Systems

Luigi Portinale (portinal@di.unito.it)
Tue, 2 Mar 1999 23:57:13 +0100 (MET)

*************** APOLOGIES FOR MULTIPLE COPIES ******************
(Please redistribute)

********* DEADLINE IS APPROACHING *******

LAST CALL FOR PAPERS

**********************************************************************

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 ispn@di.unito.it
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 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 0117429111 fax: +39 011751603
e-mail: portinal@di.unito.it

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 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

############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html