Due to the extended deadline of PETRI NETS’21 we adjust the submission deadline for PNSE’21:

	    March, 29th,	2021

The original CFP is given below.

	Michael Köhler-Bußmeier

>
> CALL FOR PAPERS
>
>
> 	International Workshop on Petri Nets and Software Engineering
> 	PNSE’21, Paris, France, June 21, 2021
>    	http://www.informatik.uni-hamburg.de/TGI/events/pnse/
>
>
> 	PNSE’21 is a satellite event of PETRI NETS’21 
> 	https://lipn.univ-paris13.fr/petrinets2021/ 	
>
>
>
>                                   Scope
>
> For the successful realisation of complex systems of interacting and
> reactive software and hardware components the use of a precise language at
> different stages of the development process is of crucial importance.
>
> Petri nets are becoming increasingly popular in this area, as they provide
> a uniform language supporting the tasks of modelling, validation, and
> verification. 
>
> We welcome contributions describing original research in topics related to
> Petri nets in combination with software engineering, addressing open problems
> or presenting new ideas regarding the relation of Petri nets and software
> engineering. Furthermore, we look for surveys addressing open problems and new
> applications of Petri nets and for Petri nets.
>
>
>
>                             Important Dates:
>
> Abstracts (full/short: optional):	March	15th,	2021
> Deadline for full papers:			March	15st,	2021
> Deadline for short papers:		March	15st,	2021
> Notification of paper acceptance:	April		25th,	2021
> Deadline for posters:			April		27th,	2021
> Notification of poster acceptance:	April		29th,	2021
> Deadline for final revisions:		May		1st,		2021
>
>
>
>                                   Topics
>
> Topics of interest include but are not limited to:
>
> Software Engineering
>   agile development
>   product lines
>   software in business contexts
>   software development and production environments; DevOps; IDEs; continuous integration
>   programming and concurrency
>   technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc.
>   distributed database technology: redis; cassandra; CouchDB; mongoDB etc.
>   concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility
>   social concepts for norms, rules, contracts, communication, co-ordination, co-operation
>   software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modelling techniques
>
> Modelling
>   representation of formal models by intuitive modelling concepts
>   guidelines for the construction of system models
>   representative examples
>   process-, service-, state-, event-, component-, organisation-, object-, agent- and actor-oriented approaches
>   adaption, integration, and enhancement of concepts from other disciplines
>   views and abstractions of systems
>   meta-modelling and domain specific languages (DSLs)
>   model-driven architecture
>   modelling software landscapes
>   web service-based software development
>
> Validation and Execution
>   prototyping
>   simulation, observation, animation
>   code generation and execution
>   testing and debugging
>   efficient implementation
>
> Verification
>   structural methods (e.g. place invariants, reduction rules)
>   results for structural subclasses of nets
>   relations between structure and behaviour
>   state space based approaches
>   efficient model checking
>   assertional and deductive methods (e.g. temporal logics)
>   process algebraic methods
>   model and graph transformation
>   applications of category theory, rewriting logic and linear logic
>
> Application of Petri nets and Software Engineering, in particular in the domains of …
>   education, training and teaching at any level,
>   flexible manufacturing,
>   logistics,
>   telecommunication,
>   big data,
>   cyber-physical systems,
>   internet-of-things,
>   grid and cloud computing,
>   distributed systems,
>   workflow management and
>   embedded systems.
>
> Tools in the fields mentioned above
>
>
>
>                              Submissions
>
> The program committee invites submissions of full contributions (15 up to 20 pages) 
> or short contributions (5 up to 8 pages). 
> Ongoing work (up to 2 pages) can also be presented in a special poster session.
>
> Papers should be submitted in electronic form (PDF) using the Springer LNCS-format
> (see http://www.springer.de/comp/lncs/authors.html).  Submissions should include title, 
> authors' addresses, E-mail addresses, keywords and an abstract. 
>
> For your submission in PDF format please use the online conference management system at
>
> 	https://easychair.org/conferences/?conf=pnse21
>
> The papers will be peer reviewed by at least three members of the PC. Accepted
> contributions will be included in the workshop proceedings, which will be available
> at the workshop and published online.
>
> The best papers from the workshop will be invited for publication in a volume of the 
> journal sub-line of Lecture Notes in Computer Science entitled "Transactions on 
> Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected 
> to be thoroughly revised and they will go through a totally new round of reviewing 
> as is standard practice for journal papers.
>
>
>
>
> 			PC Chairs
>
> Ekkart Kindler, Technical University of Denmark, Denmark
> Michael Köhler-Bußmeier, University of Applied Science Hamburg, Germany
> Heiko Rölke, FH Graubünden, Austria
>
>
> In case of any problems please contact us by email via easychair.org.