Publication result detail

Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs

NOVOSAD, P.; ČEŠKA, M.

Original Title

Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs

English Title

Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Hybrid Petri nets provide powerful analysis techniques such as unfoldings and coverability graphs. Both methods can cope well with so called state space explosion problem by some degree of abstraction. This contribution compares analysis approaches of the unfoldings and the coverability graphs.

English abstract

Hybrid Petri nets provide powerful analysis techniques such as unfoldings and coverability graphs. Both methods can cope well with so called state space explosion problem by some degree of abstraction. This contribution compares analysis approaches of the unfoldings and the coverability graphs.

Keywords

hybrid Petri nets, unfoldings, coverability graphs

Key words in English

hybrid Petri nets, unfoldings, coverability graphs

Authors

NOVOSAD, P.; ČEŠKA, M.

RIV year

2016

Released

08.02.2015

Publisher

The Universidad de Las Palmas de Gran Canaria

Location

Universidad de Las Palmas de Canaria

ISBN

978-84-606-5438-4

Book

Proceedings of the 15th International Conference on Computer Aided Systems Theory

Pages from

183

Pages to

184

Pages count

2

BibTex

@inproceedings{BUT119800,
  author="Petr {Novosad} and Milan {Češka}",
  title="Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs",
  booktitle="Proceedings of the 15th International Conference on Computer Aided Systems Theory",
  year="2015",
  pages="183--184",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-606-5438-4"
}