Dear Colleague,
we are organising a special session on Petri nets,
including theoretical and application results,
at Wodes 2012 that will be held in Guadalajara,
Mexico, on October 3-5, 2012.
The deadline for submitting papers is April 13th, 2012.
If you intend to submit a contribution to this
special session you are invited to let us know as soon as
possible and send us a title, a list of authors, and a short
abstract of your paper by March 5th, 2012.
Papers in special sessions will be reviewed individually.
In case the special session is not accepted, individual
papers will be considered for inclusion in the regular program.
We are appending some information about the invited session
and the WODES 2012 conference.
Hoping to hear soon from you, we send you our best regards.
Hassane Alla
Carla Seatzu
=====================================================================
Invitation to the Special Session on
PETRI NETS: THEORY AND APPLICATIONS
WODES 2012
Guadalajara, Mexico, October 3 - 5, 2012
http://www.gdl.cinvestav.mx/wodes-12
INFORMATION ABOUT THE CONFERENCE
The Interdisciplinary field of Discrete Event Systems (DES)
combines different formalisms, methodologies and tools from automatic
control, computer science and operation research. The research activity
in this field is driven by the needs of many different application
domains: manufacturing, process control, supervisory systems, embedded
and networked systems, software engineering, transportation, and so on.
This 11th edition of WODES is coming to Guadalajara, Mexico, being hosted
by the Cinvestav. It will provide researchers from different fields
(control theoreticians and control engineers, software engineers and
computer scientists, operations research specialists) with an opportunity
to exchange information and new ideas, and to discuss new developments
in the field of DES theory and application.
Topics
• Formalisms and modeling methodologies for DES:
Petri nets, automata, state charts, process algebras,
max/plus-algebra, queuing networks...
• Observability and fault diagnosis of DES
• Control of DES with emphasis on supervisory control and on real
time control
• Performance evaluation, parametric optimization and scheduling
• Discrete approaches of hybrid systems and reactive systems
• Fluid approximations of DES
• Applications including manufacturing systems, transportation
systems, process control, distributed systems, hardware and software
engineering, office automation, workflow, protocols, telecommunication
systems, biological systems, ...
• Computer tools
TOPICS OF THE INVITED SESSION
The aim of this session is that of presenting original approaches for the
analysis and control of Petri nets, as well as applications in different
domains.
In particular, the session will focus on Petri net methods for the
control of
discrete event systems, structural techniques for controller synthesis,
identification, estimation, diagnosis and deadlock avoidance.
It will also include papers dealing with High level Petri nets, hybrid
Petri
nets and continuous Petri nets.
ORGANIZERS
Hassane ALLA
Automatic Control Dep. (Gipsa-Lab)
University of Grenoble, France
[email protected]
Carla SEATZU
Department of Electrical and Engineering
Universita' di Cagliari
[email protected]
IMPORTANT DATES:
Title and short abstract: March 10th, 2012
Paper submission deadline: April 13th, 2012
Paper acceptance notification: July 2nd, 2012
Final version due: July 30th, 2012
ADDITIONAL INFORMATION
To stay informed about WODES 2012, refer to the conference
web-page: http://www.gdl.cinvestav.mx/wodes-12
========================================================================
--
*********************************************
Carla Seatzu
Dip. di Ingegneria Elettrica ed Elettronica
Universita' di Cagliari
Piazza d'Armi - 09123 Cagliari, Italy
Email: [email protected]
Web: http://www.diee.unica.it/~seatzu/info.html
Tel: +39-070-675-5759 Fax: +39-070-675-5782
*********************************************
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
