Last Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is (...)

 Lire l'article

  Petri Nets World : Online Services for the International Petri Nets Community

The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.

Voir toute l'actualité

31 janvier 2012 : January 27, 2012

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

31 janvier 2012 : 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.

31 janvier 2012 : November 27, 2011

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

10 janvier 2012 : January 05, 2012

Call for Papers: CSD&M 2012

10 janvier 2012 : December 05, 2011

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

10 janvier 2012 : December 13, 2011

Call for Papers: DLT 2012

10 janvier 2012 : December 19, 2011

Call for Papers: FMICS 2012

10 janvier 2012 : December 23, 2011

2nd Call for Papers: ACSD 2012

10 janvier 2012 : December 23, 2011

3rd Call for Papers: Petri Nets 2012

10 janvier 2012 : January 05, 2012

4th Call for Papers: Petri Nets 2012

5 décembre 2011 : December 04, 2011

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

14 novembre 2011 : November 14, 2011

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

2 novembre 2011 : October 26, 2011

CfP: Modelling Foundations and Applications, July 2012

2 novembre 2011 : October 24, 2011

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

2 novembre 2011 : October 12, 2011

Application of Concurrency to System Design (ACSD 2012) CfP

11 octobre 2011 : October 07, 2011

IEEE Task Force on Process Mining releases Process Mining Manifesto

11 octobre 2011 : September 30, 2011

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

26 septembre 2011 : September 23, 2011

Concur 2012: Call for affiliated workshops

19 septembre 2011 : September 15, 2011

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

19 septembre 2011 : September 12, 2011

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

13 septembre 2011 : September 12, 2011

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

13 septembre 2011 : September 09, 2011

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

13 septembre 2011 : 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)

13 septembre 2011 : September 08, 2011

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

6 septembre 2011 : September 04, 2011

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

30 août 2011 : August 12, 2011

Free positions at Hagen university.

30 août 2011 : August 08, 2011

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

30 août 2011 : August 22, 2011

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

30 août 2011 : August 18, 2011

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

30 août 2011 : August 17, 2011

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

30 août 2011 : August 17, 2011

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

30 août 2011 : August 29, 2011

Job offer at the University of Hamburg.

30 août 2011 : August 25, 2011

PhD position in parallel algorithms at the University of Kaiserslautern

5 août 2011 : August 05, 2011

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

25 juillet 2011 : July 25, 2011

A EPSRC PhD Studentship in Computer Science is available.

25 juillet 2011 : July 21, 2011

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

25 juillet 2011 : July 25, 2011

8 PhD positions in the PhD school SOAMED are available.

18 juillet 2011 : 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.

18 juillet 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.

18 juillet 2011 : July 5, 2011

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

11 juillet 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.

11 juillet 2011 : July 5, 2011

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

4 juillet 2011 : June 27, 2011

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

27 juin 2011 : June 24, 2011

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

27 juin 2011 : June 22, 2011

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

27 juin 2011 : June 21, 2011

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

20 juin 2011 : 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.

20 juin 2011 : June 10, 2011

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

20 juin 2011 : 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.

20 juin 2011 : 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.

20 juin 2011 : 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

20 juin 2011 : 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

13 juin 2011 : 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.

13 juin 2011 : 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.

13 juin 2011 : June 10, 2011

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

29 mai 2011 : May 29, 2011

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

29 mai 2011 : 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

25 mai 2011 : 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.

23 mai 2011 : 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/

20 mai 2011 : 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

18 mai 2011 : 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 (...)

11 mai 2011 : 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 (...)

11 mai 2011 : May 11, 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.

9 mai 2011 : 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.

9 mai 2011 : 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.

5 mai 2011 : April 17, 2011

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, (...)

5 mai 2011 : 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.

5 mai 2011 : April 29, 2011

The International Summer School in Language and Speech Technologies 2011 has been announced. See here for more on this.

5 mai 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.

5 mai 2011 : 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.

21 avril 2011 : March 22, 2011

Due to the tragic events in Japan the two conferences ACSD 2011 and Petri Nets 2011 will be moved to Newcastle upon Tyne, UK. See the email from Kurt Jensen and Alex Yakovlev here.

21 avril 2011 : March 21, 2011

Call for Papers: 9th International Conference on Computational Methods in Systems Biology. Submission deadline is May 6, 2011 (abstracts due on April 29).

21 avril 2011 : March 21, 2011

Deadline Extension: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is extended to March 31, 2011.

21 avril 2011 : March 31, 2011

Call for Papers: 5th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is May 15, 2011.

21 avril 2011 : March 29, 2011

Job Offer: At RWTH Aachen University, Germany a Full Professor (W3) is sought. The firm deadline for applications is May 20, 2011.

21 avril 2011 : March 28, 2011

A PhD school on Discrete Event Systems will take place in Cagliari, Italy from June 6 to June 10, 2011. See the email from Carla Seatzu here and the school's weg page at http://www.disc-project.eu/PhD_school.html.

21 avril 2011 : March 25, 2011

Deadline Extension: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is extended to April 15, 2011 due to the tragic events in (...)

21 avril 2011 : March 24, 2011

Job Offer: The Department of Computer Science at Oldenburg University (Germany) has an open position for a research fellow in Theoretical Computer Science (specifically in Concurrency) in the Parallel Systems Group led by Eike Best. See the email (...)

21 avril 2011 : April 20, 2011

New Book: Will van der Aalst has written a new book. It's the first book about Process Mining. More information can be found here. See also Wil's email here.

21 avril 2011 : April 15, 2011

Deadline Extension: Fourth International Workshop on UML & Formal Methods. Submission deadline is extended to April 30, 2011.

21 avril 2011 : April 14, 2011

Call for Papers: 3rd International Workshop on Computational Models for Cell Processes in conjunction with CONCUR 2011. Submission deadline is May 23, 2011.

21 avril 2011 : April 6, 2011

Call for Papers: 10th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is May 16, 2011.

21 avril 2011 : April 5, 2010

Call for Participation: The 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency (Petri Nets 2011) and the 11th International Conference on Application of Concurrency to System Design (ACSD 2011) will take place in Newcastle upon Tyne, UK (moved (...)

21 avril 2011 : April 1, 2011

Call for Papers: 25th European Simulation and Modelling Conference. Submission deadline is July 25, 2011.

21 avril 2011 : April 1, 2011

Call for Papers: 9th International Workshop on Security Issues in Concurrency a satellite workshop of CONCUR 2011. Submission deadline is June 3, 2011.

21 avril 2011 : April 21, 2011

Two new tools have been added to the Petri Nets Tool Database: ePNK is a platform for Petri net tools based on the PNML transfer format. The current version of ePNK is 0.9. It is sable, but still needs some polishing. PNetLab is a simulation and analysis tool. Both tools are free of (...)

9 février 2011 : January 19, 2011

Call for Papers: FMOODS & FORTE are two of the four main conferences at the 6th International Federated Conferences on Distributed Computing Techniques. All conferences at DisCoTec share the same deadlines which are February 6, 2011 for abstracts and February 13 for (...)

9 février 2011 : April 17, 2011

2nd Call for Papers: Fourth International Workshop on Logics for Agents and Mobility, a satellite workshop of CONCUR 2011. Submission deadline is June 13, 2011.

9 février 2011 : April 13, 2011

Call for Paper: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is to April 17 2011.

9 février 2011 : January 8, 2011

Call for Papers: IEEE 16th International Conference on Emerging Technologies and Factory Automation. Track 4 - Automated Manufacturing Systems. Submission deadline is March 21, 2011.

9 février 2011 : January 25, 2011

A new tool has been announced by Ekkart Kindler that fully supports PNML and all the Petri net types defined in ISO/IEC 15909-2. The announcement email can be found here and more information about the tool a the url http://www2.imm.dtu.dk/~eki/projects/ePNK/

9 février 2011 : January 25, 2011

First Call for Papers: The 22nd International Conference on Concurrency Theory, one of the major conferences focusing on concurrent systems, will take place from September 6 to September 9, 2011, in Aachen Germany. Submission deadline is April 8, 2011 for full papers and April 1 for (...)

9 février 2011 : January 24, 2011

Job Offer: There are two PhD student positions at the School of Computer Science, Reykjavik University, Island, in the project imed Asynchronous Reactive Objects in Distributed Systems. Application deadline is February 25, 2011. More information can be found (...)

9 février 2011 : January 24, 2011

Last Call for Papers: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is (...)

9 février 2011 : 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, (...)

9 février 2011 : February 5, 2011

Job Offer: Oxford University is offering a fully funded D.Phil studentship associated with the project Automated Verification Techniques for DNA Computing, funded by a Microsoft Research PhD Scholarship. Application deadline is February 28, 2011. More information can be found (...)

9 février 2011 : January 27, 2011

Call for Papers: 8th International Colloquium on Theoretical Aspects of Computing. Submission deadline is June 13, 2011.

9 février 2011 : December 22, 2010

Call for Papers: 5th International Conference on Language and Automata Theory and Applications. This yearly conference in theoretical computer science and its applications will this year take place in Tarragona, Spain. At the conference significant room for young scholars will be reserved. (...)

9 février 2011 : December 13, 2010

3rd Call for Papers: 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, (...)

9 février 2011 : January 7, 2011

Call for Papers and Deadline Extension: Fifth International Workshop on Practical Applications of Stochastic Modelling. Submission deadline is January 18, 2011.