Meetings and Events

Listing of various meetings such as symposia, conferences, workshops, and other related events that are of direct interest of the Petri nets community. Announcements posted on the PetriNets Mailing List are also listed here.

For latest information on individual events, please consult the respective Web pages of the events in question.

We encourage you to post a message on the PetriNets Mailing List in case you wish to make an announcement of an event which is relevant for the Petri nets community.

Primary Events
- International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency
- International Conferences on Quantitative Evaluation of Systems
Meetings with Petri Nets Topics
- Call for Papers (sorted by submission deadline)
- Call for Participation (sorted by event date)
Meetings with Related Topics
- Call for Papers (sorted by submission deadline)
- Call for Participation (sorted by event date)
Other Collections of Meetings
- Computer Science Conferences & Workshops at DB&LP
- Conferences at DMOZ
- Conferences at Yahoo!
- Conferences at ACM
- Conferences at IEEE

International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency

Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English.

Petri Nets 2009

30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
June 22-26, 2009, Paris, France
Submission deadline: January 5, 2009
URL: http://PetriNet2009.lip6.fr
Announcements:
- Call for Papers

Petri Nets 2008

29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
June 23-27, 2008, Xi'an, China
Submission deadline: January 5, 2008
URL: http://ictt.xidian.edu.cn/atpn-acsd2008
Announcements:
- Call for Papers
- Call for Participation

Most Recent Petri Nets Conferences

Petri Nets 2007 (28th International Conference, Siedlce, Poland)
Petri Nets 2006 (27th International Conference, Turku (Åbo), Finland)
Petri Nets 2005 (26th International Conference, Miami, Florida, USA)
Petri Nets 2004 (25th International Conference, Bologna, Italy)
Petri Nets 2003 (24th International Conference, Eindhoven, The Netherlands)
Petri Nets 2002 (23rd International Conference, Adelaide, South Australia)
Petri Nets 2001 (22nd International Conference, Newcastle upon Tyne, UK)

International Conferences on Quantitative Evaluation of Systems

QEST is a new series of annual conferences that recently emerged as the merger of the following individual conferences: TOOLS, PNPM, and PAPM-ProbMIV.

QEST 2008

5th International Conference on Quantitative Evaluation of SysTems
September 14-17, 2008, Palais du Grand Large, Saint Malo, France
Submission deadline (full papers): March 31, 2007 (extended - abstracts due on March 24)
Submission deadline (tool papers): April 28, 2008
Relevance: stochastic and timed Petri nets
URL: http://www.qest.org/qest2008
Announcements:
- Call for Papers
- Call for Participation

Most Recent QEST/PNPM Meetings

QEST 2007 (4th International Conference, University of Edinburgh, Scotland, UK)
QEST 2006 (3rd International Conference, University of California, Riverside, CA, USA)
QEST 2005 (2nd International Conference, Torino, Italy)
QEST 2004 (1st International Conference, Enschede, The Netherlands)
PNPM 2003 (10th International Workshop, Urbana, Illinois, USA)
PNPM 2001 (9th International Workshop, Aachen, Germany)
PNPM 1999 (8th International Workshop, Zaragoza, Spain)

Meetings with Petri Nets Topics

Call for Papers (sorted by submission deadline)

ISC 2005

3rd Annual Industrial Simulation Conference
June 9-11, 2005, Berlin, Germany
Submission deadline: January 20, 2005
Relevance: Petri nets; discrete event simulation languages and tools
URL: http://biomath.ugent.be/~eurosis/conf/isc/isc2005/

OMSPN'05 (at ICEIS'05)

Workshop on Organizational Modeling and Simulation Using Petri Nets
May 24, 2005, Miami, Florida, USA
Submission deadline: January 25, 2005
Relevance: various Petri nets topics
URL: http://www.georgiasouthern.edu/~jbarjis/OMSPN/

ASMTA 2005

12th International Conference on Analytical and Stochastic Modelling Techniques and Applications
June 1-4, 2005, Riga, Latvia
EXTENDED submission deadline: February 14, 2005
Relevance: Stochastic Petri net models
URL: http://www.comp.glam.ac.uk/ASMTA2005/ASMTA2005.html

RSFDGrC 2005

The Tenth International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
September 1-3, 2005, Regina, Canada
Submission deadline: February 14, 2005
Relevance: Petri nets and concurrency
URL: http://rsfdgrc.cs.uregina.ca/

VVEIS'05 (at ICEIS'05)

Third International Workshop on Verification and Validation of Enterprise Information Systems
May 24, 2005, 200, Miami, Florida, USA
EXTENDED submission deadline: February 15, 2005
Relevance: Petri nets
URL: http://www.iceis.org/workshops/vveis/vveis2005-cfp.html

Session at IMCSE 2005

Special Session On Software Architecture
June 27-30, 2005, Las Vegas, Nevada, USA
Submission deadline: February 16, 2005
Relevance: Petri net based approach to software architecture of agent systems
URL: http://www.cs.und.edu/~reza/SSSA.htm

BPM 2005

3rd International Conference on Business Process Management
September 5-7, 2005, Nancy, France
Submission deadline: March 18, 2005
Relevance: "The BPM 2005 conference welcomes papers applying Petri nets to Business Process Management, Workflow Management, Process Analysis, Process Mining, etc."
URL: http://bpm2005.loria.fr/

PNML'05

Second Workshop on the Petri Net Markup Language
May 26, 2005, Helsinki, Finland
Submission deadline: April 10, 2005
Relevance: Towards an ISO/IEC Standard Transfer Syntax for Petri Nets
URL: http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML05/

Satellite Event at Petri Nets 2005

Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management
June 20, 2005, Miami, Florida, USA
Submission deadline: April 25, 2005
Relevance: formal methods (Petri nets, process algebras etc.); verification, validation and performance analysis of business processes
URL: http://www.cs.ucf.edu/~pncwb/

FORMATS'05

3rd International Conference on Formal Modelling and Analysis of Timed Systems
September 26-28, 2005, Uppsala, Sweden
Submission deadline: May 20, 2005
Relevance: timed Petri nets
URL: http://www.it.uu.se/formats05/

BPRM 2005

Workshop on Business Process Reference Models (Satellite Workshop of BPM 2005)
September 5, 2005, Nancy, France
Submission deadline: May 22, 2005
Relevance: reference models for business processes
URL: http://www.upb.de/cs/kindler/events/BPRM05/

ATVA 2005

Third International Symposium on Automated Technology for Verification and Analysis
October 4-7, 2005, Taipei, Taiwan
Submission deadline: May 23, 2005
Relevance: established formalisms such as Petri nets
URL: http://www.im.ntu.edu.tw/~atva2005/

EXPRESS'05

12th International Workshop on Expressiveness in Concurrency
August 27, 2005, San Francisco, California, USA
Submission deadline: June 1, 2005
Relevance: comparison between mathematical models of computation such Petri nets
URL: http://www.win.tue.nl/Express05

ESM 2005

The 2005 European Simulation and Modelling Conference
October 24-26, 2005, Porto, Portugal
Submission deadline: July 1, 2005
Relevance: workshop simulation with Petri nets
URL: http://biomath.rug.ac.be/~eurosis/conf/esm/esm2005/

AWPN 2005

12th Workshop Algorithms and Tools for Petri Nets
September 29-30, 2005, Berlin, Germany
Submission deadline: August 5, 2005
Relevance: algorithms and tools for Petri nets
URL: http://www.informatik.hu-berlin.de/top/awpn05

PNWM 2005

1st Workshop on Petri Nets and their Applications to Workflow Management
September 26, 2005, Timisoara, Romania
Submission deadline: August 1, 2005
Relevance: aims to bring together researchers and practitioners interested in Petri net theory and its applications to workflow management.
URL: http://web.info.uvt.ro/~pnwm2005/

CPN'05

Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
October 24-26, 2005, Aarhus, Denmark
Submission deadline: August 15, 2005
Relevance: coloured Petri nets
URL: http://www.daimi.au.dk/CPnets/workshop05/

ACSD 2006

Sixth International Conference on Application of Concurrency to System Design
June 27-30, 2006, Turku, Finland
Submission deadline: Dezember 9, 2005 (extended)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://www.cs.abo.fi/acsd2006

SMC 2006

IEEE International Conference on Systems, Man, and Cybernetics
October 8-11, 2006, Taipei, Taiwan
Submission deadline: March 1, 2006
Relevance: Special session on Petri Nets and Discrete Event Systems and special session on Dynamic Workflow Management
URL: http://ins.cn.nctu.edu.tw/smc2006/

ADHS 2006

Conference on Analysis and Design of Hybrid Systems
June 7-9, 2006, Alghero, Sardinia, Italy
Submission deadline: January 5, 2006 (Title and short abstract: November 20, 2005.)
Relevance: Special Session on Hybrid Petri Nets: Theory and Applications.
URL: http://www.diee.unica.it/adhs06/index.html

ASMTA 2006

13th International Conference on Analytical and Stochastic Modelling Techniques and Applications
May 28-31, 2006, Bonn, Germany
Submission deadline: January 30, 2006
Relevance: Stochastic Petri net models
URL: http://www.comp.glam.ac.uk/ASMTA2006/index.html

PNML'06

Petri Net Markup Language Forum 2006
June 26, 2006, Turku, Finland
Submission deadline: March 12, 2006
Relevance: The PNML Forum will bring together tool builders and researchers working on PNML in order to exchange experiences in the implementation and the use of PNML.
URL: http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML06/

CONCUR 2006

17th International Conference on Concurrency Theory
August 27-30, 2006, Bonn, Germany
Submission deadline: April 3, 2006 (abstracts due to March 23)
Relevance: models of concurrent and distributed computation (such as Petri nets)
URL: http://depend.cs.uni-sb.de/concur06

BPM 2006

4th International Conference on Business Process Management
September 5-7, 2006, Vienna, Austria
Submission deadline: May 1, 2006
Relevance: "The conference still welcomes papers on the application of Petri nets to BPM."
URL: http://bpm2006.tuwien.ac.at

BPI 2006

Business Process Intelligence 2006
September 4, 2006, Vienna, Austria
Submission deadline: May 1, 2006
Relevance: also see BPM 2006
URL: http://is.tm.tue.nl/bpi06

MOCA'06

Fourth Workshop on Modelling of Objects, Components, and Agents
June 26, 2006, Turku, Finland
Submission deadline: April 3, 2006
Relevance: Petri nets in any relation to objects, components, and agents;
embedding in traditional software engineering approaches;
extensions of the Petri net formalism
URL: http://www.informatik.uni-hamburg.de/TGI/events/moca06/

TeaConc'06

Workshop on Teaching Concurrency
June 27, 2006, Turku, Finland
Submission deadline: April 20, 2006 (extended)
Relevance: discussion on the ways that models of concurrency can be taught at undergraduate/graduate levels
URL: http://www.uninova.pt/gres/teaconc2006

IAPN'06

Track on Industrial Applications of Petri Nets in the 2nd European Modeling & Simulation Symposium
October 4-6, 2006, Barcelona, Spain
Submission deadline: April 19, 2006
Relevance: Industrial Applications of Petri Nets
URL: http://www.i-m-cs.org/EMSS06/

WS-FM 2006

3rd International Workshop on Web Services and Formal Methods
September 8-9, 2006, Vienna, Austria
Submission deadline: May 2, 2006
Relevance:
URL: http://cs.unibo.it/ws-fm06

EXPRESS'06

13th International Workshop on Expressiveness in Concurrency
August 26, 2005, Bonn, Germany
Submission deadline: June 1, 2006
Relevance: comparison between mathematical models of computation such Petri nets
URL: http://www.doc.ic.ac.uk/express06

ESM 2006

The 2006 European Simulation and Modelling Conference
October 23-25, 2006, Toulouse, France
Submission deadline: July 1, 2006
Relevance: Workshop Simulation with Petri nets
URL: http://biomath.ugent.be/~eurosis/conf/esm/esm2006/

PN & WM 2006

2nd International Workshop on Petri Nets and their Applications to Workflow Management
September 28, 2006, Timisoara, Romania
Submission deadline: July 30, 2006 (extended)
Relevance: aims to bring together researchers and practitioners interested in Petri net theory and its applications to workflow management.
URL: http://thor.info.uaic.ro/~pnwm2006/

AWPN 2006

13th Workshop Algorithms and Tools for Petri Nets
September 25-26, 2006, Hamburg, Germany
Submission deadline: August 11, 2006 (extended)
Relevance: algorithms and tools for Petri nets
URL: http://www.informatik.uni-hamburg.de/TGI/events/AWPN2006/

VPSM

International PhD School on Verification of Protocols for Security and Mobility
October 9-13, 2006, Copenhagen, Denmark
Submission deadline: -
Relevance: comprehensive overview of contemporary automatic verification methods and tools; static analysis; model checking; coloured Petri nets
URL: http://www.first.dk/VPSM

CPN'06

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
October 24-26, 2006, Aarhus, Denmark
Submission deadline: August 15, 2006
Relevance: coloured Petri nets
URL: http://www.daimi.au.dk/CPnets/workshop06/

ACC'07

Special Session Control of Discrete Event Systems using Petri Nets at the 2007 American Control Conference
July 11-13, 2007, New York City, USA
Submission deadline: September 15, 2006 (abstracts due to September 1, 2006)
Relevance: special session on discrete event systems using Petri Nets
URL: http://a2c2.org/conferences/acc2007

ACSD 2007

Seventh International Conference on Application of Concurrency to System Design
July 10-13, 2007, Bratislava, Slovakia
Submission deadline: February 4, 2007 (extended)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://www.acsd.sk

SMC 2007

2007 IEEE International Conference on Systems, Man, and Cybernetics
October 8-10, 2006, Montreal, Canada
Submission deadline: March 1, 2007 (Submission of paper information to the organizers due to January 31, 2007)
Relevance: Special session on Design, Analysis, and Control of Discrete Event Systems
URL: http://www.smc2007.org/index.html/

ASMTA 2007

14th International Conference on Analytical and Stochastic Modelling Techniques and Applications
June 4-6, 2007, Prague, Czech Republic
Submission deadline: February 19, 2007 (extended)
Relevance: Stochastic Petri net models
URL: http://www.comp.glam.ac.uk/ASMTA2007/index.html

SCSC 2007

Summer Computer Simulation Conference
July 15-18, 2007, San Diego, CA, USA
Submission deadline: February 28, 2007
Relevance: This is the first international workshop to address application of Petri nets in biological processes (molecular process modeling etc.). Applications of Petrinets in any Biological, Molecular, Systems Biology and other health related topic are welcome.
URL: http://www.sce.carleton.ca/faculty/wainer/SCSC07/SCSC'07.htm

DASD 2007

5th Symposium on Design, Analysis, and Simulation of Distributed Systems
July 15-18, 2007, San Diego, California, USA
Submission deadline: April 20, 2007 (extended)
Relevance: Petri nets and other models
URL: http://www.fernuni-hagen.de/KN/DASD

PNS 2007

Workshop on Petri Net Standards 2007
Satellite event of Petri Nets 2007
June 26, 2007, Siedlce, Poland
Submission deadline: March 10, 2007
Relevance: Petri Net Standards
URL: http://wwwcs.uni-paderborn.de/cs/kindler/events/PNS07/

TeaConc'07

2nd Workshop on Teaching Concurrency
Satellite event of Petri Nets 2007
June 25, 2007, Siedlce, Poland
Submission deadline: April 1, 2007 (extended)
Relevance: discussion on the ways that models of concurrency can be taught at undergraduate/graduate levels
URL: http://www.uninova.pt/teaconc2007

UFO 2007

UFO'07: Workshop on UnFOlding and partial order techniques
Satellite event of Petri Nets 2007
June 25-26, 2007, Siedlce, Poland
Submission deadline: March 20, 2007
Relevance: theory and applications of Petri net unfoldings and related partial-order formalisms
URL: http://homepages.cs.ncl.ac.uk/victor.khomenko/home.formal/UFO07/UFO-07.htm

DASD 2008

6th Symposium on Design, Analysis, and Simulation of Distributed Systems
June 16-19, 2008, Edinburgh, UK
Submission deadline: March 28, 2008
Relevance: Petri nets (and other models) for modeling, simulation and evaluation
URL: http://www.fernuni-hagen.de/KN/DASD

PNSE 2007

International Workshop on Petri Nets and Software Engineering
Satellite event of Petri Nets 2007
June 26, 2007, Siedlce, Poland
Submission deadline: April 1, 2007;
April 13, 2007 for short papers;
May 6, 2007 for posters;
Relevance: combination of Petri nets with software engineering
URL: http://www.informatik.uni-hamburg.de/TGI/events/pnse07/

IECON 2007

The 33rd Annual Conference of IEEE Industrial Electronics Society
with a Special Sessions on "Petri Nets and Discrete Event Systems"
November 5-8, 2007, Taipei, Taiwan
Submission deadline: April 2, 2007 (special session - please email short summaries to the organizers no later than March 16, 2007)
Relevance: special session on Petri Nets and Discrete Event Systems
URL: http://iecon07.ccu.edu.tw/

FAtBPaWS 2007

Formal Approaches to Business Processes and Web Services
Satellite event of Petri Nets 2007
June 26, 2007, Siedlce, Poland
Submission deadline: April 1, 2007
Relevance: Formal modelling, analysis
URL: http://wwwteo.informatik.uni-rostock.de/ls_tpp/workshop07/

RP 2007

Workshop on Reachability Problems
Satellite event of Developments in Language Theory Conference (DLT'07)
July 7-8, 2007, Turku, Finland
Submission deadline: April 23, 2007 (extended)
Relevance: reachability analysis in computational models, verification
URL: http://www.math.utu.fi/projects/dlt2007/rp/

BPM 2007

5th International Conference on Business Process Management
September 24-27, 2007, Brisbane, Australia
Submission deadline: April 16, 2007
Relevance: -
URL: http://bpm07.fit.qut.edu.au

ATVA 2008

Sixth International Symposium on Automated Technology for Verification and Analysis
October 20-23, 2008, Seoul, South Korea
Submission deadline: May 5, 2008
Relevance: established formalisms such as Petri nets
URL: http://pswlab.kaist.ac.kr/atva2008

EPEW 2007

4th European Performance Engineering Workshop
September 27-28, 2007, Berlin, Germany
Submission deadline: June 8, 2007 (extended)
Relevance: Stochastic Petri Nets
URL: http://www.informatik.hu-berlin.de/rok/epew2007/

WS-FM 2007

4th International Workshop on Web Services and Formal Methods
Co-located with the 5th International Conference on Business Process Management
September 28-29, 2007, Brisbane, Australia
Submission deadline: June 15, 2007 (Abstracts due to June 8)
Relevance: -
URL: http://bpm07.fit.qut.edu.au/ws-fm07/

ESM 2007

21st European Simulation and Modelling Conference
October 22-24, 2007, St.Julian's, Malta
Submission deadline: June 15 - July 1, 2007
Relevance: Workshop Simulation with Petri Nets
URL: http://www.eurosis.org/cms/?q=taxonomy/term/53

IPM 2008

2nd International Workshop on the Induction of Process Models
September 15, 2008, Antwerp, Belgium
Submission deadline (title and abstract): June 16, 2008
Submission deadline (complete paper): August 4, 2008
Relevance: learning structured process models such as Petri net or process algebra models from event logs
URL: CFP

WfPM 2007

Workshop on Workflow and Process Management
in conjunction with SYNASC 2007
September 26-29, 2007, Timisoara, Romania
Submission deadline: June 30, 2007
Relevance: Workflow and process modelling; Workflow and process management
URL: http://synasc07.info.uvt.ro/

CPN'07

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
October 22-24, 2007, Aarhus, Denmark
Submission deadline: August 15, 2007
Relevance: coloured Petri nets
URL: http://www.daimi.au.dk/CPnets/workshop07/

AWPN 2007

14th Workshop Algorithms and Tools for Petri Nets
September 20-21, 2006, Koblenz, Germany
Submission deadline: August 15, 2007
Relevance: algorithms and tools for Petri nets
URL: http://www.uni-koblenz.de/~ag-pn/html/awpn2007

PEMP 2008

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
January 7-8, 2008, San Francisco, USA
Submission deadline: October 17, 2007 (abstracts due to October 12)
Relevance: submissions from researchers in Petri nets on any topic relating to generating programs from petri net specifications are particularly welcome
URL: http://www.program-transformation.org/PEPM08/WebHome

PNTAP 2008

International Workshop on Petri Nets Tools and Applications
March 3, 2008, Marseille, France
Submission deadline: November 7, 2007 (extended)
Relevance: all kinds of Petri Nets tools
URL: http://www.pntap.org

ACSD 2008

8th International Conference on Application of Concurrency to System Design
June 23-27, 2008, Xidian University, Xi'an, China
Submission deadline: January 4, 2008
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems.
URL: http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/main.jsp

WODES 2008

9th International Workshop on Discrete Event Systems
Special Session: Diagnosis and Identification of Petri Nets
May 28-29, 2008, Goteborg, Sweden
Submission deadline: January 25, 2008
Relevance: discrete event systems, special session
URL: http://www.wodes2008.org

ASMTA 2008

15th International Conference on Analytical and Stochastic Modelling Techniques and Applications
June 4-6, 2008, Nicosia, Cyprus
Submission deadline: February 22, 2008 (extended)
Relevance: Stochastic Petri Net Models
URL: http://www.comp.glam.ac.uk/ASMTA2008

DAC 2008

Special Session on Design, Analysis and Control of Hybrid Petri Nets
at the 2008 IEEE International Conference on Systems, Man, and Cybernetics
October 12 - 15, 2008, Singapore
Submission deadline: March 16, 2008 (abstracts due to March 2)
Relevance: new developments in the field of design, analysis, and control of hybrid Petri nets
URL: http://www.smc2008.org/

PNDS 2008

International Workshop on Petri Nets and Distributed Systems
a satellite event of Petri Nets 2008 and ACSD 2008
June 23-24, 2008, Xi'an, China
Submission deadline (full papers): March 20, 2008 (extended)
Submission deadline (poster session): May 9, 2008
Relevance:
- Petri Net Formalisms and Extensions for Modelling Distributed Systems
- Application of Petri Nets and related formalisms to various topics
- Petri nets and Industry Standards
- Tools
URL: http://www.informatik.uni-hamburg.de/TGI/events/pnds08/

CHINA 2008

Concurrency metHods: Issues aNd Applications
A satellite workshop of PETRI NETS 2008 co-located with ACSD 2008
June 24, 2008, Xi'an, China
Submission deadline (complete paper): March 20, 2008
Submission deadline (informal presentation): May 1, 2008
Relevance: The scope of the workshop is broad. Its goal is to discuss models of concurrency with an emphasis on issues relevant to certain application domains which have led or could lead to the addition of structural enhancements.
URL: http://homepages.cs.ncl.ac.uk/maciej.koutny/CHINA-2008.htm

BPM 2008

6th International Conference on Business Process Management
September 1-4, 2008, Milan, Italy
Submission deadline: March 21, 2008
Relevance: -
URL: http://bpm08.polimi.it

PMPNS 2008

Process Mining and Petri net Synthesis
A satellite workshop of ATPN 2008 and ACSD 2008
June 23, 2008, Xi'an, China
Submission deadline: March 20, 2008
Relevance: The goal of this workshop is to combine the two research areas of process mining and Petri net synthesis to benefit from ideas and concepts developed in both areas.
URL: http://wwwis.win.tue.nl/~pmpns/

FORMATS 2008

6th International Conference on Formal Modelling and Analysis of Timed Systems
September 15-17, 2008, Saint-Malo, France
Submission deadline: May 12, 2008
Relevance: timed Petri nets
URL: http://formats08.inria.fr

RP 2008

2nd Workshop on Reachability Problems
September 15-17, 2008, Liverpool, UK
Submission deadline: May 19, 2008
Relevance: reachability analysis in computational models, verification
URL: http://www.csc.liv.ac.uk/~rp2008/

WS-FM 2008

5th International Workshop on Web Services and Formal Methods
Co-located with the 6th International Conference on Business Process Management
September 4-5, 2008, Milan, Italy
Submission deadline (title and abstract): May 19, 2008
Submission deadline (full paper): May 28, 2008 (extended)
Relevance: Petri nets and workflow models
URL: http://www.informatik.uni-rostock.de/ws-fm2008/

BPI 2008

4th International Workshop on Business Process Intelligence
September 4, 2008, Milan, Italy
Submission deadline: May 23, 2008
Relevance: also see BPM 2008
URL: http://is.tm.tue.nl/bpi08/

RESIM 2008

7th International Workshop on Rare Event Simulation
September 24-26, 2008, Rennes, France
Submission deadline: May 30, 2008
Relevance: rare event simulation methodologies (such as Petri Net Models) and applications
URL: http://resim.irisa.fr

PNGT 2008

3rd Workshop on Petri Nets and Graph Transformation
September 12-13, 2008, Leicester, UK
Submission deadline: June 9, 2008 (extened)
Relevance: exchange of ideas, notions, techniques between the fields of Petri nets and graph transformation
URL: http://www.math.unipd.it/~baldan/PNGT08

YR-CONCUR 2008

Young Researchers Workshop on Concurrency Theory
a satellite workshop of CONCUR 2008
August 18, 2008, Toronto, Canada
Submission deadline (4-page abstract): July 4, 2008
Relevance: This one-day workshop aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years.
URL: http://moves.rwth-aachen.de/Events/YR-CONCUR08/

ESM 2008

22nd European Simulation and Modelling Conference
October 27-29, 2008, Le Havre, France
Submission deadline: July 25, 2008
Relevance: Workshop Simulation with Petri Nets. (Also various other interessting workshops.)
URL: http://www.eurosis.org/cms/?q=taxonomy/term/129

AWPN 2008

15th Workshop Algorithms and Tools for Petri Nets
September 26-27, 2008, Rostock, Germany
Submission deadline: August 15, 2008
Relevance: algorithms and tools for Petri nets
URL: http://wwwteo.informatik.uni-rostock.de/ls_tpp/awpn2008/

CPN'08

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
October 20-22, 2008, Aarhus, Denmark
Submission deadline: August 15, 2008
Relevance: coloured Petri nets
URL: http://www.daimi.au.dk/CPnets/workshop08/

LATA 2009

3rd International Conference on Language and Automata Theory and Applications
April 2 - 8, 2009, Tarragona, Spain
Submission deadline: October 22, 2008
Relevance: Yearly conference in theoretical computer science and its applications.
URL: http://grammars.grlmc.com/LATA2009

SIMUTools 2009

2nd International Conference on Simulation Tools and Techniques
March 2-6, 2009, Rome, Italy
Submission deadline: October 19, 2008
Relevance: simulation techniques and methodologies (like Petri Nets), distributed systems, networks
URL: http://www.simutools.org

Call for Participation (sorted by event date)

DASD 2005

Design, Analysis, and Simulation of Distributed Systems
April 2-8, 2005, San Diego, California, USA
Registration deadline: (visit URL below)
Relevance: Petri nets and other models
URL: http://wwwteo.informatik.uni-rostock.de/DASD

Session at WPDRTS'05

Invited Session on Formal Methods for Real-Time Systems
April 4-5, 2005, Denver, Colorado, USA
Registration deadline: (visit URL below)
Relevance: advances in theory of timed discrete event systems (timed automata, timed Petri nets); modeling issues and case studies
URL: http://www.cs.uri.edu/~cingiser/wpdrts05/

ACSD 2005

Fifth International Conference on Application of Concurrency to System Design
June 6-9, 2005, St Malo, France
Early registration deadline: April 30, 2005
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://acsd2005.irisa.fr/

Session at IFAC 16

Invited Session on Petri Nets for Discrete-Event Modeling and Control
July 4-8, 2005, Prague, Czech Republic
Registration deadline: (visit URL below)
Relevance: Petri nets
URL: http://ifacplaza.certicon.cz/

Invited Session at IFORS 2005

Invited Session: Dynamic Programming and Petri Nets
July 11-15, 2005, Honolulu, Hawaii, USA
Registration deadline: (visit URL below)
Relevance: use of dynamic programming to solve optimization problems arising in Petri net modeling, and the use of Petri net models to solve dynamic programming problems
URL: http://www2.ics.hawaii.edu/~icl/dppn.txt

Session at IMACS 2005

Invited Session: Time Petri Nets and Industrial Applications
July 11-15, 2005, Paris, France
Registration deadline: (visit URL below)
Relevance: any Petri net extensions handling with deterministic time intervals in industrial applications
URL: http://imacs2005.ec-lille.fr/