Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2056
Title: Symbolic computation of Petri nets
Authors: Iglesias, Andres
Kapçak, Sinan
Keywords: Petri nets
Formal languages
Data processing
Formal languages
Interconnection networks
Issue Date: 2007
Publisher: Springer
Source: Iglesias, A., and Kapçak, S. (2007). Symbolic computation of Petri nets. Lecture Notes in Computer Science, 4488 LNCS(Part 2), 235-242. doi:10.1007/978-3-540-72586-2_33
Abstract: 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.
Description: 7th International Conference on Computational Science, ICCS 2007; Beijing; China; 27 May 2007 through 30 May 2007
URI: http://doi.org/10.1007/978-3-540-72586-2_33
http://hdl.handle.net/11147/2056
ISBN: 9783540725855
ISSN: 0302-9743
1611-3349
Appears in Collections:Mathematics / Matematik
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2056.pdfConference Paper364.77 kBAdobe PDFThumbnail
View/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

3
checked on Mar 2, 2024

WEB OF SCIENCETM
Citations

2
checked on Mar 2, 2024

Page view(s)

150
checked on Feb 26, 2024

Download(s)

184
checked on Feb 26, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.