"Brno" . . . "Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets" . . "RIV/00216305:26230/03:PU42541!RIV/2004/GA0/262304/N" . . "Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets"@en . "The basic principles and approaches of model checking for Object-Oriented Petri Nets (OOPNs) are introduced and described in this paper. Specifications of checked properties in model checking are expressed in temporal logics. Allocational temporal logic (ATL) can be used as a formalism to express properties cocerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system." . . "\u010Ce\u0161ka, Milan" . "597809" . . . "allocational temporal logic, model checking, OOPN, linear temporal logic"@en . "The basic principles and approaches of model checking for Object-Oriented Petri Nets (OOPNs) are introduced and described in this paper. Specifications of checked properties in model checking are expressed in temporal logics. Allocational temporal logic (ATL) can be used as a formalism to express properties cocerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system."@en . "26230" . . "80-85988-86-0" . . . . "P(GA102/01/1485), Z(MSM 262200012)" . "Neuveden" . "6"^^ . "Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets"@en . "RIV/00216305:26230/03:PU42541" . . . "Ostrava" . "[99A1DC6194BC]" . "Proceedings of 37th International Conference MOSIS\u00B403 Modelling and Simulation of Systems" . . . "2003-04-28+02:00"^^ . . "2"^^ . . . . "Ha\u0161a, Lud\u011Bk" . "177-182" . . "0"^^ . "Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets" . "2"^^ . "0"^^ .