• Title of article

    Modeling and analysis of timed Petri nets using heaps of pieces

  • Author/Authors

    Gaubert، نويسنده , , S.، نويسنده , , Mairesse، نويسنده , , J. ، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1999
  • Pages
    15
  • From page
    683
  • To page
    697
  • Keywords
    Automata with multiplicities , (max , timed Petri nets. , heaps of pieces , +) semiring , Scheduling
  • Journal title
    IEEE Transactions on Automatic Control
  • Serial Year
    1999
  • Journal title
    IEEE Transactions on Automatic Control
  • Record number

    385200