. "26230" . . "RIV/00216305:26230/01:PU28634!RIV14-MSM-26230___" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "Janou\u0161ek, Vladim\u00EDr" . "In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool."@en . "Analysis and Verification Queries over Object-Oriented Petri Nets"@en . "RIV/00216305:26230/01:PU28634" . . . . . "2001" . . . . "Lecture Notes in Computer Science" . . . "Analysis and Verification Queries over Object-Oriented Petri Nets" . "In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool." . "0302-9743" . "20"^^ . "Analysis and Verification Queries over Object-Oriented Petri Nets"@en . "3"^^ . "3"^^ . "Analysis and Verification Queries over Object-Oriented Petri Nets" . "Petri nets, object orientation, formal analysis and verification"@en . . "2178" . "\u010Ce\u0161ka, Milan" . . . "http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz" . . . "Vojnar, Tom\u00E1\u0161" . "I" . "673060" . "[D95E08C0E563]" .