Publication result detail

Unfoldings of Bounded Hybrid Petri Nets

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

Original Title

Unfoldings of Bounded Hybrid Petri Nets

English Title

Unfoldings of Bounded Hybrid Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.

English abstract

The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.

Keywords

Unfoldings, hybrid Petri net

Key words in English

Unfoldings, hybrid Petri net

Authors

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

RIV year

2012

Released

06.02.2011

Publisher

The Universidad de Las Palmas de Gran Canaria

Location

Universidad de Las Palmas de Canaria

ISBN

978-84-693-9560-8

Book

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

Pages from

334

Pages to

335

Pages count

2

BibTex

@inproceedings{BUT76276,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  booktitle="Proceedings of the 13th International Conference on Computer Aided Systems Theory",
  year="2011",
  pages="334--335",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-693-9560-8"
}