Conference Information
Petri Nets 2016 : International Conference on Application and Theory of Petri Nets and Concurrency
http://pn2016.mat.umk.pl/
Submission Date:
2016-01-10
Notification Date:
2016-03-01
Conference Date:
2016-06-19
Location:
Torun, Poland
Years:
37
Viewed: 5197   Tracked: 1   Attend: 0

Conference Location
Advertisment
Call For Papers
 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, using Springer LNCS format:

    Regular papers (max 20 pages)
    Tool papers (max 10 pages)

The LNCS templates can be downloaded hereunder:

The website for electronic submission is http://www.easychair.org/conferences/?conf=petrinets2015: 
Last updated by Dou Sun in 2014-11-15
Related Publications
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b2AIIDEAAAI Conference on Artificial Intelligence and Interactive Digital Entertainment2014-05-122014-06-202014-10-03
ICCS'''IEEE International Conference on Circuits Systems2017-10-312017-11-102017-12-20
ICNSCIEEE International Conference on Networking, Sensing and Control2016-12-012017-01-152017-05-16
bb1ACSDInternational Conference on Application of Concurrency to System Design2016-01-122016-03-252016-06-19
CF'Cloud Forward Conference2015-07-132015-08-022015-10-06
baa1ACSACAnnual Computer Security Applications Conference 2017-06-082017-08-182017-12-04
ICMCAInternational Conference on Mechanical Control and Automation2017-05-18 2017-05-26
aaa1CSCWACM Conference on Computer Supported Cooperative Work2016-05-272016-07-122017-02-27
CENTRICInternational Conference on Advances in Human-oriented and Personalized  2012-09-052012-11-18
SoftCOMInternational Conference on Software, Telecommunications and Computer Networks2016-06-082016-07-152016-09-22
Recommendation