Unfoldings of bounded hybrid petri nets

  • Authors:
  • Petr Novosad;Milan Č/e$#353/ka

  • Affiliations:
  • Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic;Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

  • Venue:
  • EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concurrency. The paper formalizes the concept of the unfolding for bounded hybrid Petri nets and introduces the algorithm for its computing.