About: State-space Exploration of 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)

AttributesValues
rdf:type
Description
  • Petri nets are used as basic models in modeling, simulation and verification of discrete-event systems and concurrent systems. Petri nets analysis methods based on state-space exploration deal with the state-space explosion problem and the infineteness of the state space. A new approach to a finite representation of the infinite state space, similar to coverability graphs, is presented in this article. Its principle is based on aggregation of such states (markings) which enable the same set of transitioons. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown.
  • Petri nets are used as basic models in modeling, simulation and verification of discrete-event systems and concurrent systems. Petri nets analysis methods based on state-space exploration deal with the state-space explosion problem and the infineteness of the state space. A new approach to a finite representation of the infinite state space, similar to coverability graphs, is presented in this article. Its principle is based on aggregation of such states (markings) which enable the same set of transitioons. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown. (en)
  • Petriho sítě jsou základním modelovacím prostředkem v oblastech modelování, simulace a verifikace systémů s diskrétním časem a paralelních systémů. Metody analýzy Petriho sítí založené na prohledávání stavového prostoru jsou limitovány stavovou explozí apotenciálně nekonečným počtem stavů. Tento článek představuje nový přístup ke konečné reprezentaci nekonečného stavového prostoru, který je obdobou grafů pokrytí. Základním principem je agregace těch stavů (značení), které  povolují provedení stejn né množiny přechodů. Agregované stavy tvoří třídu nerozlišitelných stavů. Článek obsahuje algoritmus pro výpočet těchto tříd. (cs)
Title
  • State-space Exploration of Petri Nets
  • State-space Exploration of Petri Nets (en)
  • Výzkum stavových prostorů Petriho sítí (cs)
skos:prefLabel
  • State-space Exploration of Petri Nets
  • State-space Exploration of Petri Nets (en)
  • Výzkum stavových prostorů Petriho sítí (cs)
skos:notation
  • RIV/00216305:26230/05:PU56514!RIV06-GA0-26230___
http://linked.open.../vavai/riv/strany
  • 114-119
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/04/0780)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 544501
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/05:PU56514
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Petri net, analysis, enumeration technique, reachability graph, coverability graph, state-space explosion, enabled transition, indistiguishable markings (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [BF9B89592C34]
http://linked.open...v/mistoKonaniAkce
  • Hradec nad Moravicí
http://linked.open...i/riv/mistoVydani
  • Ostrava
http://linked.open...i/riv/nazevZdroje
  • Proceedings of 39th International Conference MOSIS '05
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Marek, Vladimír
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Neuveden
https://schema.org/isbn
  • 80-86840-10-7
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software