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

40th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2019.
June 23-28, 2019, Aachen, Germany,
Submission deadline: January 16, 2019 (abstract); January 22, 2019 (full paper)
URL: http://www.petrinets2019.de
Announcements:
- Call for Papers

Petri Nets 2018

39th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2018.
June 24-29, 2018, Bratislava, Slovakia,
Submission deadline (full papers): January 10, 2018
URL: https://interes.institute/petrinets2018/
Announcements:
- Call for Papers

Petri Nets 2017

38th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2017.
June 25-30, 2017, Zaragoza, Spain
Submission deadline (full papers): January 10, 2017
URL: http://pn2017.unizar.es/
Announcements:
- Call for Papers

Petri Nets 2016

37th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2016.
June 19-24, 2016, Torun, Poland
Submission deadline (full papers): January 10, 2016
URL: http://pn2016.mat.umk.pl/
Announcements:
- Call for Papers

Petri Nets 2015

36th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2015.
June 21-26, 2015, Brussels, Belgium
Submission deadline (full papers): January 10, 2015
URL: http://www.ulb.ac.be/di/verif/pn2015acsd2015/
Announcements:
- Call for Papers

Petri Nets 2014

35th International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2014.
June 23-27, 2014, Tunis, Tunisia
Submission deadline (full papers): January 10, 2014
URL: http://petrinets2014.cnam.fr/
Announcements:
- Call for Papers

Petri Nets 2013

34th International Conference on Application and Theory of Petri Nets and Concurrency
June 24-28, 2013, Milano, Italy
Submission deadline (full papers): January 10, 2013
URL: http://www.mc3.disco.unimib.it/petrinets2013/
Announcements:
- Call for Papers

Petri Nets 2012

33rd International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2012.
June 25-29, 2012, Hamburg, Germany
Submission deadline (full papers): January 5, 2012
URL: http://www2.informatik.uni-hamburg.de/tgi/events/pn2012/
Announcements:
- Call for Papers

Petri Nets 2011

32nd International Conference on Application and Theory of Petri Nets and Concurrency
Co-located with ACSD 2011.
June 20-24, 2011, Newcastle upon Tyne, UK (relocated from Kanazawa, Japan, due to the tragic events that occurred in Japan lately)
Submission deadline (full papers): January 5, 2011
URL: http://conferences.ncl.ac.uk/pn-acsd-11/
Announcements:
- Call for Papers

Petri Nets 2010

31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
Co-located with ACSD 2010.
June 21-25, 2010, Braga, Portugal
Submission deadline (full papers): January 5, 2010
URL: http://petrinets2010.di.uminho.pt
Announcements:
- Call for Papers
- Call for Participation

Most Recent Petri Nets Conferences

Petri Nets 2009 (30th International Conference, Paris, France)
Petri Nets 2008 (29th International Conference, Xi'an, China)
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 2011

8th International Conference on Quantitative Evaluation of SysTems
September 5-8, 2010, Aachen, Germany
Submission deadline (abstracts): March 18, 2011
Submission deadline (full papers + tool papers): March 25, 2011
Relevance: stochastic and timed Petri nets
URL: http://www.qest.org/qest2011
Announcements:
- Call for Papers

QEST 2010

7th International Conference on Quantitative Evaluation of SysTems
September 15-18, 2010, College of William & Mary, Computer Science Department, Williamsburg, VA, USA
Submission deadline (abstracts): April 4, 2010 (extended)
Submission deadline (full papers + tool papers): April 11, 2010 (extended)
Relevance: stochastic and timed Petri nets
URL: http://www.qest.org/qest2010
Announcements:
- Call for Papers
- Call for Participation

Most Recent QEST/PNPM Meetings

QEST 2009 (6th International Conference, Budapest, Hungary)
QEST 2008 (5th International Conference, Saint Malo, France)
QEST 2007 (4th International Conference, Edinburgh, Scotland, UK)
QEST 2006 (3rd International Conference, Riverside, California, 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

ACSD 2019

19th International Conference on Application of Concurrency to System Design
June 23-28, 2019, Aachen, Germany (Co-located with Petri Nets 2019)
Submission deadline: January 16, 2019 (abstract); January 22, 2019 (full paper)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://www.petrinets2019.de/acsd-2019/
Announcements:
- Call for Papers

ACSD 2018

18th International Conference on Application of Concurrency to System Design
June 24-29, 2018, Bratislava, Slovakia (Co-located with Petri Nets 2018)
Submission deadline: January 15, 2018 (abstract); January 25, 2018 (full paper)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: https://interes.institute/acsd2018/

ACSD 2017

17th International Conference on Application of Concurrency to System Design
June 25-30, 2017, Zaragoza, Spain (Co-located with Petri Nets 2017)
Submission deadline: January 15, 2017 (abstract); January 25, 2017 (full paper)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://pn2017.unizar.es/

ACSD 2016

16th International Conference on Application of Concurrency to System Design
June 19-24, 2016, Torn, Poland (Co-located with Petri Nets 2016)
Submission deadline: January 15, 2016 (abstract); January 25, 2016 (full paper)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://acsd2016.mat.umk.pl/

ACSD 2015

15th International Conference on Application of Concurrency to System Design
June 21-26, 2015, Brussels, Belgium (Co-located with Petri Nets 2015)
Submission deadline: January 15, 2015 (abstract); January 25, 2015 (full paper)
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://www.ulb.ac.be/di/verif/acsd2015/

ACSD 2014

14th International Conference on Application of Concurrency to System Design
June 25-27, 2014, Tunis, Tunisia
Submission deadline: January 17, 2014
Relevance: methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets
URL: http://acsd2014.cnam.fr

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: December 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://www2.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://www2.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://www2.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://www2.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 22, 2008 (extended)
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 31, 2008 (extended)
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

ACSD 2009

9th International Conference on Application of Concurrency to System Design
July 1-3, 2009, Augsburg, Germany
Submission deadline (abstract): January 11, 2009 (extended)
Submission deadline (full paper): January 17, 2009 (extended)
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems.
URL: http://www.informatik.uni-augsburg.de/acsd/

RSP 2009

20th IEEE/IFIP International Symposium on Rapid System Prototyping
Co-located with Petri Nets 2009.
June 23-26, 2009, Paris, France
Submission deadline: January 24, 2009 (paper registration due on January 24)
Relevance: collocated with the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'09); integration of formal methods in prototyping
URL: http://www.rsp-symposium.org

ECEC 2009

16th Annual European Concurrent Engineering Conference
April 15 - 17, 2009, Novotel, Bruges, Belgium
Submission deadline: January 20, 2009 (February 5 for Late Submissions)
Relevance: concurrency, engineering, modelling, process management
URL: http://www.eurosis.org/cms/?q=node/828

MSVVEIS 2009

7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
May 6-10, 2009, Milan, Italy
Submission deadline: February 21, 2009 (extended)
Relevance: Petri Nets (business/industry applications, business process modelling),
URL: http://www.iceis.org/workshops.htm#MSVVEIS

EPEW 2009

6th European Performance Engineering Workshop
July 9-10, 2009, Imperial College London, UK
Submission deadline: February 20, 2009 (extended)
Relevance: Stochastic Petri Nets
URL (CFP): http://www.doc.ic.ac.uk/epew2009/epew09-poster-lores.pdf

EOMAS 2009

5th International Workshop on Enterprise & Organizational Modeling and Simulation
June 8-9, 2009, Amsterdam, Netherlands
Submission deadline: February 23, 2009
Relevance: Business Process Modeling and Simulation Using Petri Nets
URL: http://www.eomas.org/

SCSC 2009

5th Bioinformatics workshop using Petri nets in the field of Biological Sciences, Health Sciences, Medicine and Chemistry at the Summer Computer Simulation Conference
July 13-16, 2009, Istanbul, Turkey
Submission deadline: March 31, 2009 (extended)
Relevance: Applications of Petri nets in any Biological or generally health related topic are welcome.
URL: http://www.scs.org/confernc/summersim/summersim09/cfp/summersim09.htm

PNSE 2009

International Workshop on Petri Nets and Software Engineering
Satellite event of Petri Nets 2009 and RSP 2009
June 22-23, 2009, Paris, France
Submission deadline (short and full papers): March 31, 2009 (extended)
Submission deadline (posters): May 2, 2009
Relevance: use of Petri nets in the formal process of software engineering
URL: http://www2.informatik.uni-hamburg.de/tgi/events/pnse09/

OrgMod 2009

International Workshop on Organizational Modeling
Satellite event of Petri Nets 2009 and RSP 2009
June 22-23, 2009, Paris, France
Submission deadline (abstracts): March 17, 2009
Submission deadline (short and full papers): March 24, 2009
Submission deadline (posters): May 2, 2009
Relevance: organizational modeling techniques, simulation, verification
URL: http://www2.informatik.uni-hamburg.de/tgi/events/orgmod09/

SMC 2009

2009 IEEE International Conference on Systems, Man, and Cybernetics
October 11-14, 2009, San Antonio, Texas, USA
Submission deadline: March 15, 2009
Relevance: Discrete Event Systems and Petri Nets are explicitly mentioned in the CfP.
URL: http://www.smc2009.org

APNOC 2009

International Workshop on Abstractions for Petri Nets and Other Models of Concurrency
June 22, 2009, Paris, France
Submission deadline (paper): March 27, 2009 (extended)
Submission deadline (posters): May 1, 2009
Relevance: a satellite event of Petri Nets 2009, the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'09); APNOC is a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems.
URL: http://www.win.tue.nl/apnoc2009/

BPM 2009

7th International Conference on Business Process Management
September 7-10, 2009, Ulm, Germany
Submission deadline (full papers): March 14, 2009 (strict!)
Submission deadline (demo submissions): May 7, 2009
Relevance: process modeling and analysis
URL: http://www.bpm2009.org

TiSto 2009

International Workshop on Timing and Stochasticity in Petri Nets and Other models of Concurrency
June 23, 2009, Paris, France
Submission deadline: March 30, 2009
Relevance: a satellite event of Petri Nets 2009, the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'09); The aim of TiSto is to promote the study of fundamental and practical aspects of timing and stochasticity in Petri nets and other models of concurrency.
URL: http://petrinets2009.lip6.fr/workshops/TiSto.html

ADHS 2009

3rd IFAC Conference on Analysis and Design of Hybrid Systems
September 16-18, 2009, Zaragoza, Spain
Submission deadline: April 21, 2009 (extended)
Relevance: modelling, specification, analysis, and verification of hybrid systems
URL: http://diisconf.cps.unizar.es/adhs09

ETFA 2009 - Track 4

IEEE 14th International Conference on Emerging Technologies and Factory Automation
Track 4 - Automated Manufacturing Systems
September 22 - 25, 2009, Mallorca, Spain
Submission deadline (long papers): April 30, 2009 (extended)
Submission deadline (work-in-progress papers and Industry practice): June 1, 2009
Relevance: Simulation, Queueing Systems and Petri Nets in Manufacturing Systems
URL: http://www.etfa2009.org/
URL(Track CfP in PDF): http://www.etfa2009.org/downloads/CfP_track4.pdf

UKPEW 2009

25th UK Performance Engineering Workshop
July 6 - 7, 2009, Leeds, UK
Submission deadline: April 17, 2009 (extended)
Relevance: Stochastic modelling of computer systems and networks; Modelling paradigms including Stochastic Petri Nets
URL: http://www.comp.leeds.ac.uk/ukpew09/

ATVA 2009

7th International Symposium on Automated Technology for Verification and Analysis
October 14-16, 2009, Macao SAR, China
Submission deadline (abstracts): May 1, 2009
Submission deadline (full papers): May 11, 2009 (extended)
Relevance: theory of Petri-nets
URL: http://www.iist.unu.edu/atva09

CONCUR 2009

20th International Conference on Concurrency Theory
September 1-4, 2009, Bologna, Italy
Submission deadline (abstract): April 8, 2009 (extended)
Submission deadline (full papers): April 15, 2009 (extended)
Relevance: concurrency (Petri Nets are explicitly mentioned)
URL: http://concur09.cs.unibo.it/

FORMATS 2009

7th International Conference on Formal Modelling and Analysis of Timed Systems
co-located with QEST 2009
September 13-16, 2009, Budapest, Hungary
Submission deadline (abstract): April 10, 2009
Submission deadline (full paper): April 17, 2009
Relevance: timed Petri nets
URL: http://www.comlab.ox.ac.uk/FORMATS2009/

IECON 2009

35th Annual Conference of IEEE Industrial Electronics Society
November 3-6, 2009, Porto, Portugal
Submission deadline: April 20 (for the special session! A short summary should be send to the corresponding organizer by February 10, 2009)
Relevance: Special Session on Petri Nets and Discrete Event Systems
URL: http://paginas.fe.up.pt/~iecon09/

RP 2009

3rd Workshop on Reachability Problems
September 23-25, 2009, Ecole Polytechnique, France
Submission deadline: May 11, 2009 (extended)
Relevance: reachability problems in different computational models and systems
URL: http://www.lix.polytechnique.fr/rp09

BPI 2009

5th International Workshop on Business Process Intelligence
held in conjunction with BPM 2009
September 7, 2009, Ulm, Germany
Submission deadline: May 7, 2009 (strict!)
Relevance: business process modelling and visualization
URL: http://is.tm.tue.nl/bpi09

DATICS-ICMS 2009

Workshop on Design, Analysis and Tools for Integrated Circuits and Systems
August 4-10, 2009, Istanbul, Turkey
Submission deadline: May 15, 2009
Relevance: Petri Nets as a formalism to achive the workshop's goals
URL: http://digilander.libero.it/systemcfl/datics09-icms

ICE 2009

2nd Interaction and Concurrency Experience - Structured Interactions
a Satellite workshop of CONCUR 2009
August 31, 2009, Bologna, Italy
Submission deadline (abstract): May 29, 2009
Submission deadline (full papers): June 5, 2009
Relevance: concurrency, interactions
URL: http://ice09.dimi.uniud.it/

WS-FM 2009

6th International Workshop on Web Services and Formal Methods
Co-located with CONCUR 2009
September 4-5, 2009, Bologna, Italy
Submission deadline (title and abstract): May 31, 2009
Submission deadline (full paper): June 7, 2009
Relevance: Petri nets and workflow models
URL: http://www.cs.unibo.it/ws-fm09

PASM 2009

Fourth International Workshop on Practical Applications of Stochastic Modelling
Official MASCOTS 2009 Workshop
September 24, 2009, Imperial College London, UK
Submission deadline (full paper): July 12, 2009 (extended)
Relevance: Application of current well-developed formalisms (like stochastic Petri nets) to real-world case-studies
URL: http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM09.html

YR-CONCUR 2009

Young Researchers Workshop on Concurrency Theory
a satellite workshop of CONCUR 2009
September 5, 2009, Bologna, Italy
Submission deadline (4-page abstract): July 3, 2009
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-CONCUR09/

ESM 2009

23rd European Simulation and Modelling Conference
October 26-28, 2009, Leicester, United Kingdom
Submission deadline: July 25, 2009
Relevance: Workshop Simulation with Petri Nets. (Also various other interessting workshops.)
URL: http://www.eurosis.org/cms/?q=taxonomy/term/200

AWPN 2009

16th Workshop Algorithms and Tools for Petri Nets
September 25-26, 2009, Karlsruhe, Germany
Submission deadline (long papers): July 15, 2009
Submission deadline (short papers): August 31, 2009 (extended)
Relevance: algorithms and tools for Petri nets
URL: http://woped2.dhbw-karlsruhe.de/awpn2009

MOCA'09

Fifth International Workshop on Modelling of Objects, Components, and Agents
September 11, 2009, Hamburg, Germany
Submission deadline: July 22, 2009 (extended)
Relevance: Petri nets in any relation to objects, components, and agents;
object-oriented Petri nets
agent-oriented Petri nets
URL: http://www2.informatik.uni-hamburg.de/tgi/events/moca09/

CPN'09

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools
October 19-22, 2009, Aarhus, Denmark
Submission deadline: August 15, 2009
Relevance: coloured Petri nets
URL: http://www.cs.au.dk/CPnets/events/workshop09/

MMB & DFT 2010

15th GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems
and on Dependability and Fault Tolerance
March 15 - 17, 2010, Essen, Germany
Submission deadline (full papers): October 1, 2009
Submission deadline (tools and tutorials): November 1, 2009
Relevance: Performance and dependability evaluation of systems including networks and distributed systems (among others). Stochastic Petri Nets are explicitly mentioned in the CfP.
URL: http://www.icb.uni-due.de/mmb2010/start/index.html

FBTC 2010

Third International Workshop From Biology To Concurrency and back
a Satellite Event of ETAPS 2010
March 27, 2010, Paphos, Cyprus
Submission deadline (title and abstract): November 29, 2009 (extended)
Submission deadline (full paper): December 8, 2009 (extended)
Relevance: Applications of computer science formalisms with concurrency flavour (such as Petri Nets) to life science.
URL: http://www.disi.unitn.it/~fbtc2010/

LATA 2010

4th International Conference on Language and Automata Theory and Applications
May 24 - 28, 2010, Trier, Germany
Submission deadline: December 3, 2009
Relevance: Yearly conference in theoretical computer science and its applications.
URL: http://grammars.grlmc.com/LATA2010

ACSD 2010

10th International Conference on Application of Concurrency to System Design
June 21-25, 2010, Braga, Portugal
Submission deadline (full paper): January 17, 2010 (extended)
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. Co-located with Petri Nets 2010.
URL: http://acsd2010.di.uminho.pt

ASMTA 2010

17th International Conference on Analytical and Stochastic Modelling Techniques and Applications
June 14-16, 2010, Cardiff, UK
Submission deadline: February 19, 2010 (extended)
Relevance: Stochastic Petri Net Models
URL: http://www.comp.glam.ac.uk/asmta2010/

BioPPN 2010

Workshop on Biological Processes and Petri Nets
a workshop at Petri Nets 2010
June 21, 2010, Braga, Portugal
Submission deadline: March 31, 2010 (extended)
Relevance: Petri nets to study biological applications
URL: http://www-dssz.informatik.tu-cottbus.de/BME/PetriNets2010

ART 2010

Workshop on Applications of Region Theory
a satellite event of ACSD 2010 and Petri Nets 2010
June 21 and 22, 2010, Braga, Portugal
Submission deadline: March 20, 2010
Relevance: region theory
URL: http://www.informatik.ku-eichstaett.de/wiki

BPM 2010

8th International Conference on Business Process Management
September 13-16, 2010, Hoboken, New Jersey
Submission deadline (full papers): March 14, 2010
Submission deadline (education and curriculum papers): March 14, 2010
Submission deadline (demo submissions): May 17, 2010
Submission deadline (industry contributions: February 15, 2010
Relevance: alls aspects of BPM
URL: http://www.bpm2010.org

EOMAS 2010

6th International Workshop on Enterprise & Organizational Modeling and Simulation
June 7-8, 2010, Hammamet, Tunisia
Submission deadline: March 30, 2010 (extended)
Relevance: Business Process Modeling and Simulation Using Petri Nets
URL: http://www.eomas.org/

APNOC 2010

Second International Workshop on Abstractions for Petri Nets and Other Models of Concurrency
Satellite event of Petri Nets 2010
June 21, 2010, Braga, Portugal
Submission deadline (abstracts): March 13, 2010
Submission deadline (paper): March 20, 2010
Relevance: a satellite event of Petri Nets 2010, the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'10); APNOC is a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems.
URL: http://www.win.tue.nl/apnoc2010/

SUMo 2010

International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency
Satellite event of Petri Nets 2010
June 22, 2010, Braga, Portugal
Submission deadline (title + abstract): April 5, 2010 (extended)
Submission deadline (full paper): April 12, 2010 (extended)
Relevance: a satellite event of Petri Nets 2010, the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'10); forum in order to discuss new techniques and algorithms for model checking with a focus on their actual implementation in dedicated tools that cope with combinatorial explosion
URL: http://sumo.lip6.fr

PNSE 2010

International Workshop on Petri Nets and Software Engineering
Satellite event of Petri Nets 2010
June 21 or 22, 2010, Braga, Portugal
Submission deadline (short and full papers): April 15, 2010 (extended)
Submission deadline (posters): May 13, 2010 (extended)
Relevance: use of Petri nets in the formal process of software engineering
URL: http://www2.informatik.uni-hamburg.de/tgi/events/pnse10/

ATVA 2010

8th International Symposium on Automated Technology for Verification and Analysis
September 21-24, 2010, Singapore
Submission deadline (abstracts): April 8, 2010 (extended)
Submission deadline (full papers): April 15, 2010 (extended)
Relevance: theory of Petri-nets
URL: http://atva10.comp.nus.edu.sg

ICGT 2010

5th International Conference on Graph Transformation
September 29 - October 1, 2010, University of Twente, Enschede, The Netherlands
Submission deadline (title and abstract):April 9, 2010
Submission deadline (complete paper):April 16, 2010
Relevance: Graph transformation and Petri nets;
Parallel, concurrent, and distributed graph transformation
Workshop on Petri Nets and Graph Transformations (PNGT 2010)
Doctoral Symposium. More Information here.
URL: http://www.utwente.nl/icgt2010

FORMATS 2010

8th International Conference on Formal Modelling and Analysis of Timed Systems
September 8-10, 2010, IST Austria (close to Vienna)
Submission deadline (abstract): April 18, 2010 (extended)
Submission deadline (full paper): April 25, 2010 (extended)
Relevance: timed Petri nets
URL: http://pub.ist.ac.at/formats2010/

RP 2010

4th Workshop on Reachability Problems
August 27-29, 2010, Masaryk University, Brno, Czech Republic
Submission deadline: May 11, 2010 (extended)
Relevance: reachability problems in different computational models and systems
URL: http://www.csc.liv.ac.uk/~rp2010/

IECON 2010

36th Annual Conference of IEEE Industrial Electronics Society
November 7-10, 2010, Glendale, AZ, US
Submission deadline: April 26 (for the special session!)
Relevance: Special Session on Petri Nets and Discrete Event Systems
URL: http://iecon2010.njit.edu/

AMCA-POP 2010

1st International Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
August 25, 2010, Jena, Germany
Submission deadline (abstracts): May 12, 2010 (extended)
Submission deadline (full papers): May 19, 2010 (extended)
Relevance: modelling of systems in the context of population biology and ecology with Petri Nets
URL: http://www.di.unipi.it/msvbio/AMCA-POP-2010/

BPI 2010

6th International Workshop on Business Process Intelligence
held in conjunction with BPM 2010
September 13, 2010, New Jersey, USA
Submission deadline: May 21, 2010
Relevance: business process modelling and visualization
URL: http://www.win.tue.nl/bpi2010

EPEW 2010

7th European Performance Engineering Workshop
September 23-24, 2010, Bertinoro, Italy
Submission deadline (abstract and title): May 27, 2010
Submission deadline (full paper): May 31, 2010
Relevance: Quantitative extensions of Petri nets
URL (CFP): http://www.sti.uniurb.it/events/epew2010/

QMPD 2010

Quantitative Models for Performance and Dependability
September 1-3, 2010, Munich, Germany
Submission deadline (abstracts): May 9, 2010 (extended)
Submission deadline (extended abstracts): July 15, 2010
Relevance: model-based quantitative analysis of concurrent systems (using e.g. Petri Nets)
URL: http://or2010.informatik.unibw-muenchen.de/topics/quantitative-models-for-performance-and-dependability

WTNC 2010

4th International Workshop and Tutorials on Natural Computing
October 2, 2010, Enschede, the Netherlands
Submission deadline: June 11, 2010 (extended)
Relevance: Petri nets in systems biology
URL: http://combio.abo.fi/wtnc/

YR-CONCUR 2010

Young Researchers Workshop on Concurrency Theory
a satellite workshop of CONCUR 2010
September 4, 2010, Paris, France
Submission deadline (4-page abstract): July 2, 2010
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://www.win.tue.nl/~luttik/YR-CONCUR10

ESM 2010

24th European Simulation and Modelling Conference
October 25-27, 2010, Hasselt, Belgium
Submission deadline: July 25, 2010
Relevance: Workshop Simulation with Petri Nets. (Also various other interessting workshops.)
URL: http://www.eurosis.org/cms/?q=taxonomy/term/233

AWPN 2010

17th Workshop Algorithms and Tools for Petri Nets
October 7-8, 2010, Cottbus, Germany
Submission deadline (long papers): September 1, 2010 (extended)
Submission deadline (short papers): September 1, 2010
Relevance: algorithms and tools for Petri nets
URL: http://www-dssz.informatik.tu-cottbus.de/BME/AWPN2010

ACSD 2011

11th International Conference on Application of Concurrency to System Design
June 20-24, 2011, Newcastle upon Tyne, UK (relocated from Kanazawa, Japan, due to the tragic events that occurred in Japan lately)
Submission deadline (title + abstract): January 17, 2011 (extended)
Submission deadline (full paper): January 24, 2011 (extended)
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. Co-located with Petri Nets 2011.
URL: http://conferences.ncl.ac.uk/pn-acsd-11/

PASM 2011

Fifth International Workshop on Practical Applications of Stochastic Modelling
March 17, 2011, Karlsruher Institut für Technologie (KIT), Germany
Submission deadline (full paper): Janaury 18, 2011 (extended)
Relevance: Application of current well-developed formalisms (like stochastic Petri nets) to real-world case-studies
URL: http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM11.htm

LATA 2011

5th International Conference on Language and Automata Theory and Applications
May 30 - June 3, 2011, Tarragona, Spain
Submission deadline: January 9, 2011 (extended)
Relevance: Yearly conference in theoretical computer science and its applications.
URL: http://grammars.grlmc.com/LATA2011

DYADEM-FTS 2011

Second Workshop and Tool Session on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
August 22-26, 2011, Vienna, Austria
Submission deadline (full paper): April 15, 2011
Relevance: Extensions to classic modeling approaches combinational, state-based, and simulation including Markovian and non-Markovian techniques, Petri nets, process algebras, Bayesian networks, and simulation.
URL: http://dyadem.in.tum.de

BioPPN 2011

2nd Workshop on Biological Processes and Petri Nets
a workshop at Petri Nets 2011
June 20, 2011, Newcastle upon Tyne, UK (moved from Kanazawa, Japan)
Submission deadline: April 15, 2011 (extended)
Relevance: Petri nets to study biological applications
URL: http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2011

CompoNet 2011

1st Workshop on Petri Nets Compositions
a workshop at Petri Nets 2011
June 21, 2011, Newcastle upon Tyne, UK (moved from Kanazawa, Japan)
Submission deadline: April 15, 2011 (extended)
Relevance: Petri nets composition
URL: http://www.ibisc.univ-evry.fr/~fpommereau/CompoNet-11

SUMo 2011

International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency
Satellite event of Petri Nets 2011
June 21, 2010, Newcastle upon Tyne, UK (moved from Kanazawa, Japan)
Submission deadline: April 17, 2011 (extended)
Relevance: a satellite event of Petri Nets 2011, the 32nd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICAPTN'10); forum in order to discuss new techniques and algorithms for model checking with a focus on their actual implementation in dedicated tools that cope with combinatorial explosion
URL: http://sumo.lip6.fr

PNSE 2011

International Workshop on Petri Nets and Software Engineering
Satellite event of Petri Nets 2011
June 20-21, 2011, Newcastle upon Tyne, UK (moved from Kanazawa, Japan)
Submission deadline (short and full papers): April 20, 2011
Submission deadline (posters): May 10, 2011
Relevance: The relation of Petri nets and software engineering.
URL: http://www2.informatik.uni-hamburg.de/tgi/events/pnse11/

ART 2011

Workshop on Applications of Region Theory
a satellite event of ACSD 2011 and Petri Nets 2011
June 21, 2011, Newcastle upon Tyne, UK (moved from Kanazawa, Japan)
Submission deadline: April 15, 2011
Relevance: region theory
URL: http://wiki.fernuni-hagen.de/art

ETFA 2011 - Track 4

IEEE 16th International Conference on Emerging Technologies and Factory Automation
Track 4 - Automated Manufacturing Systems
September 5-9, 2011, Toulouse, France
Submission deadline: March 21, 2011
Relevance: Simulation, Queueing Systems and Petri Nets in Manufacturing Systems
URL: http://www.irit.fr/ETFA2011.org/
URL(Track CfP in PDF): http://www.irit.fr/ETFA2011/docs/ETFA/CFP/CFP_Track4.pdf

RP 2011

5th Workshop on Reachability Problems
September 28-30, 2011, Genova, Italy
Submission deadline: May 10, 2011
Relevance: reachability problems in different computational models and systems
URL: http://rp11.disi.unige.it/

CONCUR 2011

22nd International Conference on Concurrency Theory
September 6-9, 2011, Aachen, Germany
Submission deadline (abstract): April 1, 2011
Submission deadline (full paper): April 8, 2011
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. Co-located with QEST 2011 and TGC 2011.
URL: http://concur2011.rwth-aachen.de/
Announcements:
- Call for affiliated workshops
- Call for Papers

ESM 2011

25th European Simulation and Modelling Conference
October 24-26, 2011, Guimaraes, Portugal
Submission deadline: July 25, 2011
Relevance: Workshop Simulation with Petri Nets. (Also various other interessting workshops.)
URL: http://www.eurosis.org/cms/?q=taxonomy/term/291

ACSD 2013

13th International Conference on Application of Concurrency to System Design
July 8-10 July, 2013, Barcelona, Spain
Submission deadline (full paper): February 3rd, 2013
Relevance: Forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. .
URL: http://acsd.lsi.upc.edu/

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/

The maintainers of this page