{"id":246,"date":"2022-10-11T13:44:38","date_gmt":"2022-10-11T13:44:38","guid":{"rendered":"https:\/\/petrinets2023.deec.fct.unl.pt\/?page_id=246"},"modified":"2022-10-12T10:36:27","modified_gmt":"2022-10-12T10:36:27","slug":"call-for-papers","status":"publish","type":"page","link":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/call-for-papers\/","title":{"rendered":"Call for Papers"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"246\" class=\"elementor elementor-246\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-7958241 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7958241\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1a19776\" data-id=\"1a19776\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-a84276e elementor-widget elementor-widget-text-editor\" data-id=\"a84276e\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.13.2 - 11-05-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<h1>Call for Papers<\/h1><p><span dir=\"ltr\" role=\"presentation\">The<\/span> <strong><span dir=\"ltr\" role=\"presentation\">44th annual international Petri Nets conference<\/span><\/strong> <span dir=\"ltr\" role=\"presentation\">will be organised by the<\/span> <strong><span dir=\"ltr\" aria-owns=\"pdfjs_internal_id_88R\">R&amp;D Group on Reconfigurable <\/span><span dir=\"ltr\" role=\"presentation\">and Embedded Systems<\/span><\/strong> <span dir=\"ltr\" role=\"presentation\">at<\/span> <a href=\"https:\/\/www.fct.unl.pt\/en\" target=\"_blank\" rel=\"noopener\"><strong><span dir=\"ltr\" role=\"presentation\">NOVA School of Science and Technology<\/span><\/strong><\/a> <span dir=\"ltr\" role=\"presentation\">and will be held at Lisbon on one of the campi <\/span><span dir=\"ltr\" role=\"presentation\">of NOVA University Lisbon.<\/span><\/p><p><span dir=\"ltr\" role=\"presentation\">The language of the conference is English, and its proceedings will be published by<\/span> <strong><span dir=\"ltr\" role=\"presentation\">Springer-Verlag in Lecture Notes in <\/span><span dir=\"ltr\" role=\"presentation\">Computer Science<\/span><\/strong><span dir=\"ltr\" role=\"presentation\">. Papers presenting<\/span> <strong><span dir=\"ltr\" role=\"presentation\">original research on application or theory of Petri nets<\/span><\/strong><span dir=\"ltr\" role=\"presentation\">, as well as contribu<\/span><span dir=\"ltr\" role=\"presentation\">tions addressing topics relevant to the general field of<\/span> <strong><span dir=\"ltr\" role=\"presentation\">distributed and concurrent systems<\/span><\/strong> <span dir=\"ltr\" role=\"presentation\">or focused on<\/span> <strong><span dir=\"ltr\" role=\"presentation\">applications<\/span> <span dir=\"ltr\" role=\"presentation\">of concurrency to systems design<\/span><\/strong> <span dir=\"ltr\" role=\"presentation\">are encouraged to submit.<\/span><\/p><p><span dir=\"ltr\" role=\"presentation\">All accepted papers will be considered for an<\/span> <em><span dir=\"ltr\" role=\"presentation\">Outstanding Paper<\/span> <\/em><span dir=\"ltr\" role=\"presentation\"><em>award<\/em>.<\/span> <span dir=\"ltr\" role=\"presentation\">Authors of<\/span> <strong><span dir=\"ltr\" role=\"presentation\">selected papers<\/span><\/strong> <span dir=\"ltr\" role=\"presentation\">presented at the <\/span><span dir=\"ltr\" role=\"presentation\">conference will be invited to submit an extended version that will be further reviewed for inclusion into a special issue of a <\/span><span dir=\"ltr\" role=\"presentation\">renowned journal.<\/span><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-e23a5f2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e23a5f2\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-8b825d2\" data-id=\"8b825d2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-67369c4 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"67369c4\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/wp-content\/uploads\/2022\/10\/PetriNets2023CfP_v9.pdf\" target=\"_blank\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Download Call for Papers - Click here<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-71fc271 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"71fc271\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b17e105\" data-id=\"b17e105\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-383f0a2 elementor-widget elementor-widget-text-editor\" data-id=\"383f0a2\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h2><span dir=\"ltr\" role=\"presentation\">Topics specific to Petri Nets<\/span><\/h2><ul><li><span dir=\"ltr\" role=\"presentation\">Analysis and synthesis, structure and behaviour of nets<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">System design and model-driven development using nets<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Relationships between Petri nets and other approaches<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Net-based semantical, logical and algebraic calculi<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Higher-level net models (e.g, coloured nets, timed nets)<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Stochastic net models<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Verification and model checking using nets<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Process discovery and conformance checking<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Computer tools for nets<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Standardisation of nets<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Experience reports describing applications of nets to differ<\/span><span dir=\"ltr\" role=\"presentation\">ent kinds of systems and application fields, e.g.: <\/span><ul><li><span dir=\"ltr\" role=\"presentation\">flexible manufacturing systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">office automation <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">real-time systems <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">workflows <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">embedded systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">process mining<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">biological systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">supervisory control <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">health and medical systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">railway networks <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Internet and Web services<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">environmental systems <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">e-commerce and trading<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">hardware <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">programming languages<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">telecommunications <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">protocols and networks<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">performance evaluation <\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">component based development<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">operations research<\/span><\/li><\/ul><\/li><\/ul><h2><span dir=\"ltr\" role=\"presentation\">General topics of interest related to concurrency<\/span><\/h2><ul><li><span dir=\"ltr\" role=\"presentation\">Application of concurrency to system design:<\/span><ul><li><span dir=\"ltr\" role=\"presentation\">formal models (e.g., dataflow models, communicating <\/span><span dir=\"ltr\" role=\"presentation\">automata, process algebras, modal and temporal<\/span> <span dir=\"ltr\" role=\"presentation\">logics) for designing computer systems with<\/span> <span dir=\"ltr\" role=\"presentation\">concurrent behaviour<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">applied research aimed at designing computer systems <\/span><span dir=\"ltr\" role=\"presentation\">which exhibit concurrency<\/span><\/li><\/ul><\/li><li>\u00a0<span dir=\"ltr\" role=\"presentation\">Model checking and verification of distributed systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Verification of infinite-state or parametric systems<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Causality\/partial order theory of concurrency<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Educational issues related to concurrency<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">New developments in the theory of concurrency<\/span><\/li><li><span dir=\"ltr\" role=\"presentation\">Modelling of hardware and biological systems<\/span><\/li><\/ul>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Call for Papers The 44th annual international Petri Nets conference will be organised by the R&amp;D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology and will be held at Lisbon on one of the campi of NOVA University Lisbon. The language of the conference is English, and its proceedings will [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"folder":[],"class_list":["post-246","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/246","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/comments?post=246"}],"version-history":[{"count":37,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/246\/revisions"}],"predecessor-version":[{"id":362,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/246\/revisions\/362"}],"wp:attachment":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/media?parent=246"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/folder?post=246"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}