For the successful realization 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 modeling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
The workshop PNSE'16 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2016.
The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.
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. Topics of interest include but are not limited to:
Modeling
representation of formal models by intuitive modeling concepts
guidelines for the construction of system models
representative examples
process-, service-, state-, event-, object- and agent-oriented approaches
adaption, integration, and enhancement of concepts from other disciplines
views and abstractions of systems
model-driven architecture
modeling 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 behavior
state space based approaches
efficient model checking
assertional and deductive methods (e.g. temporal logics)
process algebraic methods
applications of category theory and linear logic
Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
flexible manufacturing
logistics
telecommunication
big data
cyper-physical systems
internet-of-things
cloud computing
distributed systems
workflow management and embedded systems
Tools in the fields mentioned above
06月20日
2016
06月21日
2016
摘要截稿日期
注册截止日期
2017年06月26日 西班牙 Zaragoza
2017年第17届系统设计并发应用国际会议2008年06月23日 中国 西安市
2008第八届网络应用系统设计国际研讨会
留言