Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

Petri nets --- Computer science. --- Algorithms. --- Data structures (Computer science). --- Information theory. --- Computer science—Mathematics. --- Discrete mathematics. --- Software engineering. --- Computer Science Logic and Foundations of Programming. --- Design and Analysis of Algorithms. --- Data Structures and Information Theory. --- Discrete Mathematics in Computer Science. --- Software Engineering. --- Computer software engineering --- Engineering --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Communication theory --- Communication --- Cybernetics --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Foundations --- Xarxes de Petri --- Arquitectura d'ordinadors

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Computer. Automation --- programmeren (informatica) --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems. It provided a good opportunity to present and discuss the latest research results and ideas in the rapid and e?ective integration of software engineering techniques. The ERCIM (European Research Consortium for Informatics and Mathematics) RISE working group selected application areas such as the Web, mobility, high availability, and embedded and user-interface software in speci?c industry sectors comprising ?nance, telecommunications, transportation (avi- ics, automotive) and eGovernment. The research issues covered stemmed from the following software engineering domains: – software and system architectures – software reuse – software testing – software model checking – model driven design and testing techniques – model transformation – requirements engineering – lightweight or practice-oriented formal methods – software processes and software metrics – automated software engineering – software patterns – design by contract – defensive programming – software entropy and software re-factoring – extreme programming – agile software development – programming languages – software dependability and trustworthiness All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We have selected, for these proceedings, 10 - pers amongst 30 submitted and an invited paper. The organization of such a workshop requires a lot of work.

Software engineering --- Computer software --- Génie logiciel --- Logiciels d'ordinateurs --- Congresses. --- Congrès --- Computer software -- Congresses. --- Electronic books. -- local. --- Software engineering -- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Software engineering. --- Computer logic. --- Management information systems. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication systems --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical control systems --- Discrete mathematics --- Computer science --- Information systems --- Computer. Automation --- discrete wiskunde --- computers --- informatica --- informatietechnologie --- software engineering --- algoritmen --- computerkunde --- informatietheorie