About: Improvements in Model Checking for Object-Oriented Petri Nets

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Improvements in Model Checking for Object-Oriented Petri Nets Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Safety and liveness properties can be expressed by LTL\X in model checking of a concurrent system. However, common logics, and LTL\X is ranked among them, do not provide tools for tracing particular instances along state space paths. For this reason, an indexed temporal logic (ICTL) has been introduced into Object-Object Petri Net model checking.<br>Explicit-state model checking tools often incorporate partial-order reductions to reduce the number of explored states. In this paper, we present a new version of partial order reduction algorithm for LTL\X in the context of Object-Oriented Petri Nets. Safety and liveness properties can be expressed by LTL\X in model checking of a concurrent system. However, common logics, and LTL\X is ranked among them, do not provide tools for tracing particular instances along state space paths. For this reason, an indexed temporal logic (ICTL) has been introduced into Object-Object Petri Net model checking.<br>Explicit-state model checking tools often incorporate partial-order reductions to reduce the number of explored states. In this paper, we present a new version of partial order reduction algorithm for LTL\X in the context of Object-Oriented Petri Nets. (en)
Title	Improvements in Model Checking for Object-Oriented Petri Nets Improvements in Model Checking for Object-Oriented Petri Nets (en)
skos:prefLabel	Improvements in Model Checking for Object-Oriented Petri Nets Improvements in Model Checking for Object-Oriented Petri Nets (en)
skos:notation	RIV/00216305:26230/04:PU49209!RIV11-MSM-26230___
http://linked.open...avai/riv/aktivita	N P V Z
http://linked.open...avai/riv/aktivity	N, P(GA102/04/0780), V, Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Haša, Luděk Češka, Milan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	567558
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/04:PU49209
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	LTL, ICTL, model checking, Object-Oriented Petri Nets, partial-order<br>reduction, state space (en)
http://linked.open.../riv/klicoveSlovo	state space Object-Oriented Petri Nets LTL ICTL partial-order<br>reduction model checking
http://linked.open...ontrolniKodProRIV	[0D4EF1B85F96]
http://linked.open...v/mistoKonaniAkce	Orlando, Florida
http://linked.open...i/riv/mistoVydani	Orlando
http://linked.open...i/riv/nazevZdroje	Proceedings of the ISAS CITSA 2004, Volume III, Communications, Information and Control Systems, Technologies and Applications
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Automated methods and tools supporting development of reliable concurrent and distributed systems
http://linked.open...UplatneniVysledku	2004
http://linked.open...iv/tvurceVysledku	Češka, Milan Haša, Luděk
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2004-07-21 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	The International Institute of Informatics and Systemics
https://schema.org/isbn	980-6560-19-1
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 78 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software