Towards verifying distributed systems using object-oriented Petri nets

DOI10.1007/10720123_9MaRDI QIDQ2723329zbMATH OpenFDO

Authors Milan Češka, Vladimír Janousek, Tomáš Vojnar

Publication date 5 July 2001

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

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

zbMATH Keywords

object-oriented Petri netsstate spaces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Analysis and verification queries over object-oriented Petri nets
• scientific article; zbMATH DE number 2079534
• The challenge of object orientation for the analysis of concurrent systems
• Integrated Formal Methods
• scientific article; zbMATH DE number 1799520

Cited in

(6)

• Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets
• Verifying UCM specifications of distributed systems using colored Petri nets
• On Distributability of Petri Nets
• Analysis and verification queries over object-oriented Petri nets
• scientific article; zbMATH DE number 2079534 (Why is no real title available?)
• Automated Technology for Verification and Analysis

This page was built for publication: Towards verifying distributed systems using object-oriented Petri nets

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