Analysis and verification queries over object-oriented Petri nets

MaRDI QIDQ4433968zbMATH OpenFDO

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

Publication date 3 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780369.htm

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

• Integrated Formal Methods
• Towards verifying distributed systems using object-oriented Petri nets
• The challenge of object orientation for the analysis of concurrent systems
• Object coloured Petri nets --- A formal technique for object oriented modelling
• Software modeling and analysis using a hierarchical object-oriented Petri net

Cited in

(4)

• A lazy query scheme for reachability analysis in Petri nets
• Towards verifying distributed systems using object-oriented Petri nets
• Control properties in object-oriented specifications
• The challenge of object orientation for the analysis of concurrent systems

This page was built for publication: Analysis and verification queries over object-oriented Petri nets

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