NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: *Computer Aided System Theory -EUROCAST 2013 - revised selected papers*. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1. |

Publication language: | english |
---|

Original title: | Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets |
---|

Title (cs): | Algoritmus pro výpočet rozvojů neomezených hybridních Petriho sítí |
---|

Pages: | 428-435 |
---|

Proceedings: | Computer Aided System Theory -EUROCAST 2013 - revised selected papers |
---|

Conference: | Fourteenth International Conference On Computer Aided Systems Theory |
---|

Series: | Lecture Notes in Computer Science |
---|

Place: | Berín, DE |
---|

Year: | 2013 |
---|

ISBN: | 978-3-642-53855-1 |
---|

Publisher: | Springer Verlag |
---|

Keywords |
---|

Hybrid Petri Nets, unfoldings, complete finite prefix. |

Annotation |
---|

The paper describes a technique for computing algorithm for constructing unfoldings of unbounded hybrid Petri nets. The motivation for introducing unfoldings for hybrid Petri nets is that this technique can cope well with the so-called state space explosion problem especially for the Petri nets with a lot of concurrency. This contribution extends our previous work and formalizes the concept of the unfoldings for autonomous hybrid Petri nets, introduces an algorithm for their computing and shows new results. |

Abstract |
---|

The paper describes a technique for computing algorithm for constructing unfoldings of unbounded hybrid Petri nets. The motivation for introducing unfoldings for hybrid Petri nets is that this technique can cope well with the so-called state space explosion problem especially for the Petri nets with a lot of concurrency. This contribution extends our previous work and formalizes the concept of the unfoldings for autonomous hybrid Petri nets, introduces an algorithm for their computing and shows new results. |

BibTeX: |
---|

@INPROCEEDINGS{
author = {Petr Novosad and Milan {\v{C}}e{\v{s}}ka},
title = {Algorithm for Computing Unfoldings of Unbounded Hybrid Petri
Nets},
pages = {428--435},
booktitle = {Computer Aided System Theory -EUROCAST 2013 - revised
selected papers},
series = {Lecture Notes in Computer Science},
year = {2013},
location = {Ber{\'{i}}n, DE},
publisher = {Springer Verlag},
ISBN = {978-3-642-53855-1},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10357}
} |