Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Permanent URI for this collectionhttps://hdl.handle.net/11147/7148

Browse

Filters

20071

Settings

Publisher: search.filters.publisher.SpringerSubject: search.filters.subject.Data processing

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Citation - WoS: 2
    Citation - Scopus: 4
    Symbolic Computation of Petri Nets
    (Springer, 2007) Iglesias, Andres; Kapçak, Sinan
    Petri nets are receiving increasing attention from the scientific community during the last few years. They provide the users with a powerful formalism for describing and analyzing a variety of information processing systems such as finite-state machines, concurrent systems, multiprocessors and parallel computation, formal languages, communication protocols, etc. Although the mathematical theory of Petri nets has been intensively analyzed from several points of view, the symbolic computation of these nets is still a challenge, particularly for general-purpose computer algebra systems (CAS). In this paper, a new Mathematica package for dealing with some Petri nets is introduced.