Petri nets and software engineering

DOI10.1007/978-3-540-27755-2_12MaRDI QIDQ5712277zbMATH OpenOpenAlexFDO

Authors Giovanni Denaro, Mauro Pezzè

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets for system engineering. A guide to modeling, verification, and applications
• The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
• scientific article; zbMATH DE number 3922334
• Advances in Petri nets 1989. 9th European workshop on applications and theory of Petri nets, Venice, Italy in June 1988. Proceedings
• scientific article; zbMATH DE number 3999276

Cited in

(7)

• Software engineering with Petri nets: a web service and agent perspective
• scientific article; zbMATH DE number 979001 (Why is no real title available?)
• scientific article; zbMATH DE number 1538868 (Why is no real title available?)
• scientific article; zbMATH DE number 3999276 (Why is no real title available?)
• A calculus for automatic verification of Petri nets based on resolution and dynamic logics
• An Approach to the Modeling and Analysis of Software Production Processes
• scientific article; zbMATH DE number 2219413 (Why is no real title available?)

This page was built for publication: Petri nets and software engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712277)