News in the Petri Nets World

January 27, 2012

Call for Papers for the 2nd workshop on Petri Nets Compositions (Componet)

January 18, 2012

Job offer: The Architecture of Information Systems (AIS) group of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for a PhD working on Process Mining.

January 05, 2012

Call for Papers: CSD&M 2012

January 05, 2012

4th Call for Papers: Petri Nets 2012

December 23, 2011

2nd Call for Papers: ACSD 2012

December 23, 2011

3rd Call for Papers: Petri Nets 2012

December 19, 2011

Call for Papers: FMICS 2012

December 13, 2011

Call for Papers: DLT 2012

December 05, 2011

Call for Papers: INCOM 2012 Special Session "Petri net and their applications in industry"

December 04, 2011

Call for Papers: BioPPN 2012, 3rd International Workshop on Biological Processes and Petri Nets Hamburg, Germany, June 25, 2012

November 27, 2011

Call for Papers: 10th International Conference on Business Process Management (BPM 2012)

November 14, 2011

Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London

October 26, 2011

CfP: Modelling Foundations and Applications, July 2012

October 24, 2011

1st CfP LAM'12 (Logics, Agents, and Mobility)

October 12, 2011

Application of Concurrency to System Design (ACSD 2012) CfP

October 07, 2011

IEEE Task Force on Process Mining releases Process Mining Manifesto

September 30, 2011

Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca

September 23, 2011

Concur 2012: Call for affiliated workshops

September 15, 2011

12 PhD positions on CSE at IMT Lucca (Italy). The deadline for Application is Sept. 28.

September 12, 2011

Position in Softw. Engin. & IT Security, Fraunhofer ISST.

September 12, 2011

PhD research fellow position in software modelling and verification for sensor networks in Bergen

September 09, 2011

Call for papers: European Joint Conferences on Theory And Practice of Software

September 09, 2011

Call for workshop proposals for the 9th International Conference on Integrated Formal Methods and the 3rd International Conference on Abstract State Machines (ASM)

September 08, 2011

Post Doct Position on Distributed Simulation, Interoperablity, Ontology at University of Bordeaux

September 04, 2011

2011 International Fall School in Formal Languages and Applications (FSFLA 2011) in Tarragona, Spain, October 31st - November 4, 2011.

August 29, 2011

Job offer at the University of Hamburg.

August 25, 2011

PhD position in parallel algorithms at the University of Kaiserslautern

August 22, 2011

Call for papers: CFV'11: Seventh International Workshop on Constraints in Formal Verification.

August 18, 2011

PhD Studentship in Computer Science at Newcastle University, UK available.

August 17, 2011

Technische Universiteit Eindhoven (TU/e) is looking for one PhD student working on Verifying Process Models with Data and Resources.

August 17, 2011

Open Position for one post doctoral researcher at RCIS/JAIST.

August 12, 2011

Free positions at Hagen university.

August 08, 2011

ePNK: stand-alone version for Windows released. For more information see here

August 05, 2011

An EASST volume on Petri Nets and Graph Transformation is available.

July 25, 2011

8 PhD positions in the PhD school SOAMED are available.

July 25, 2011

A EPSRC PhD Studentship in Computer Science is available.

July 21, 2011

A PhD position in process mining is available at the Technische Universiteit Eindhoven.

July 13, 2011

The 18th workshop in applications and tools for Petri nets will take place at the FernUniversität in Hagen from 29 September to 30 September 2011.

July 7, 2011

Call for participation RP 2011: The 5th Edition of the Reachability Problems Workshop, September 28 - September 30 2011 in Genova, Italy.

July 5, 2011

A new version of Workflow Petrinet Designer (WoPeD) is available. See here for more information.

June 27, 2011

Post-doctoral position for Formal Analysis and Verification of Model-based Software Design for 12 months at INRIA Grenoble (France)

June 24, 2011

Important information from the Steering Committee meeting in Newcastle June 2011 see here

June 22, 2011

Second International Conference on Complex Systems Design and Management (CSDM 2011) December 7-9, 2011, Paris.

June 21, 2011

CPN Tools 3.2 has just been released. For more information visit here.

June 17, 2011

CALL FOR PAPERS: PETRI NETS 2012, 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Hamburg, Germany, June 25-29, 2012

June 17, 2011

A new book on Petri Net applications has been released: I. Koch, W. Reisig, F. Schreiber: Modeling in Systems Biology: The Petri Net Approach

June 17, 2011

The new version 0.9.2 of the ePNK is available now (under Eclipse Helios). The ePNK is a generic Petri net tool and tool development platform, which is based on the Eclipse platform and the concepts of PNML.

June 7, 2011

The Petri nets Conference 2012 will take place in Hamburg, Germany (as usual in the last full week of June). For this major event, people are invited to submit proposals for workshops.

June 10, 2011

The final programme of the International Workshop on Petri Nets and Software Engineering (PNSE'11) is now available here.

June 12, 2011

2011 International Fall School in Formal Languages and Applications FSFLA 2011 will take place in Tarragona, Spain on October 31st. For more information visit here.

May 29, 2011

EPSRC PhD Studentship in Computer Science available. Supervisor: Dr. V. Khomenko. Details can be found here

May 29, 2011

27th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track. March 25-29, 2012, Riva del Garda (Trento), Italy. More information can be found here

May 25, 2011

The Petri Net Course - A three day course primarily aimed at master and PhD students. June 19th - June 21st, Newcastle upon Tyne, UK.

May 23, 2011

CALL FOR PAPERS: DIFTS'11 Design and Implementation of Formal Tools and Systems in Austin, Texas, USA. For more information see http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11/

May 20, 2011

CALL FOR PARTICIPATION: 11th International Conference on Application of Concurrency to System Design (ACSD'11) and 32nd International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets'11).http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11/ Co-located in Newcastle upon Tyne, United Kingdom, 20-24 June 2011. Early registration deadline: 25th May.

May 18, 2011

The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2012) will take place in Hamburg, Germany. For this major event, people are invited to submit proposals for workshops.

May 11, 2011: In the research project "Trust and Access Policies on the Web" there is a vacancy for a 4 year PhD position at the Computer Science Department of the VU University Amsterdam. To apply for the PhD position, send a CV, letter of motivation, and names of at least two references to Wan Fokkink (w.j.fokkink[at]vu.nl).

May 9, 2011

FINAL CALL FOR PAPERS for the international Conference on Formal Methods in Computer-Aided Design. For more information see http://www.fmcad.org.

May 6, 2011

Tool Exhibition at Petri Nets / ACSD 2011. DEADLINE for sending requests for participation in the tool exhibition is 1 June 2011. The requests should be sent to Victor.Khomenko@ncl.ac.uk.

May 4, 2011

The deadline for the model checking contest at SUMO'11 is in 11 days. For more information, please go to http://sumo.lip6.fr/mcc.html.

May 3, 2011

Final Call for Papers: The 5th Workshop on Reachability Problems will take place in Genova, Italy, September 28-30, 2011. The Reachability Workshop is specifically aimed at people that are interested in reachability problems in various settings. Submission deadline is May 10, 2011.

May 2, 2011

The Petri Net Steering Committee has decided to have the 2012 Petri Nets conference in Hamburg, Germany. The Petri Nets conference in 2013 will be held in Milan, Italy.

May 2, 2011

Job Offer: The School of Computer Science at Carnegie Mellon University seeks applications for two postdoctoral fellow positions on effective programming for large distributed ensembles. More information can be found here.