posted by system || 4863 views || tracked by 3 users: [display]

Petri Nets 2012 : 33rd International Conference on Application and Theory of Petri Nets and Concurrency

FacebookTwitterLinkedInGoogle


Conference Series : Applications and Theory of Petri Nets
 
Link: http://www.informatik.uni-hamburg.de/TGI/events/pn2012/pn2012.shtml
 
When Jun 27, 2012 - Jun 29, 2012
Where Hamburg, Germany
Submission Deadline Jan 10, 2012
Notification Due Mar 1, 2012
Final Version Due Apr 1, 2012
 

Call For Papers

The 33rd annual international Petri Net conference will take place in Hamburg from June 25th to 29th, 2012. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. All accepted papers will be considered for the "Outstanding Paper" award(s). Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought.

Topics specific to Petri Nets

System design using nets
Analysis and synthesis, structure and behaviour of nets
Relationships between Petri Nets and other approaches
Net-based semantical, logical and algebraic calculi
Symbolic net representation (graphical or textual)
Computer tools for nets
Experience with using nets, case studies
Higher-level net models
Timed and stochastic nets
Standardisation of nets

Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:

flexible manufacturing systems
real-time systems
embedded systems
defence systems
biological systems
health and medical systems
environmental systems
hardware
telecommunications
railway networks

office automation
workflows
supervisory control
protocols and networks
Internet
e-commerce and trading
programming languages
performance evaluation
operations research

General topics related to concurrency

Model checking and verification of distributed systems
Verification of infinite-state or parametric systems
Causality/partial order theory of concurrency
Educational issues related to concurrency
New issues and developments in the theory of concurrency
Modelling of hardware and biological systems

Paper Submissions

Two kinds of papers can be submitted:

regular papers (max 20 pages in Springer LNCS-format)
tool papers (max 10 pages in Springer LNCS-format)

The website for electronical submissions is: http://www.easychair.org/conferences/?conf=petrinets2012

The full set of requirements and guidelines for submissions is given in the Call for Papers.

Related Resources

Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
PNSE 2022   International Workshop on Petri Nets and Software Engineering
ASAP 2022   33rd IEEE International Conference on Application-specific Systems, Architectures, and Processors
ICAA 2022   2022 International Conference on Intelligent Computing, Automation and Applications (ICAA2022)
HICSS Cellular+Wireless Nets 2023   Cellular and WIreless Networks minitrack of the 2023 Hawaii International Conference on Systems Sciences
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
ISSRE 2022   The 33rd International Symposium on Software Reliability Engineering
ADMA 2022   18th International Conference on Advanced Data Mining and Applications
ICONIP 2022   29th International Conference on Neural Information Processing-2022
IJGTT 2022   International Journal of Game Theory and Technology