• DocumentCode
    2351469
  • Title

    Transformation Methods of the BDSPN Model into an Equivalent Classical Petri Net

  • Author

    Labadi, Karim ; Chen, Haoxun ; Amodeo, Lionel ; Hamaci, Samir

  • Author_Institution
    EPMI, Cergy-Pontoise
  • fYear
    2007
  • fDate
    9-12 Sept. 2007
  • Firstpage
    2221
  • Lastpage
    2228
  • Abstract
    The BDSPN model is a class of Petri nets introduced for the modeling, analysis and performance evaluation of discrete event systems with batch behaviors. The model is particularly suitable for the modeling of flow evolution in discrete quantities (batches of variable sizes) in a system with activities performed in batch modes. The work of this paper contributes to the structural analysis of the model. Transformation procedures for some subclasses of BDSPN are developed and the necessity of the introduction of the new model is demonstrated.
  • Keywords
    Petri nets; batch processing (industrial); discrete event systems; stochastic processes; BDSPN model; batch behaviors; batch modes; discrete event systems; equivalent classical Petri net; flow evolution; structural analysis; transformation methods; Discrete event systems; Electronic mail; Inhibitors; Inventory control; Manufacturing industries; Performance analysis; Petri nets; Stochastic processes; Tellurium; Tin; Petri nets; analysis; discrete event systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    EUROCON, 2007. The International Conference on "Computer as a Tool"
  • Conference_Location
    Warsaw
  • Print_ISBN
    978-1-4244-0813-9
  • Electronic_ISBN
    978-1-4244-0813-9
  • Type

    conf

  • DOI
    10.1109/EURCON.2007.4400489
  • Filename
    4400489