Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2056
Full metadata record
DC FieldValueLanguage
dc.contributor.authorIglesias, Andres-
dc.contributor.authorKapçak, Sinan-
dc.date.accessioned2016-08-05T12:10:11Z-
dc.date.available2016-08-05T12:10:11Z-
dc.date.issued2007-
dc.identifier.citationIglesias, 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_33en_US
dc.identifier.isbn9783540725855-
dc.identifier.issn0302-9743-
dc.identifier.issn1611-3349-
dc.identifier.urihttp://doi.org/10.1007/978-3-540-72586-2_33-
dc.identifier.urihttp://hdl.handle.net/11147/2056-
dc.description7th International Conference on Computational Science, ICCS 2007; Beijing; China; 27 May 2007 through 30 May 2007en_US
dc.description.abstractPetri 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.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofLecture Notes in Computer Scienceen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectPetri netsen_US
dc.subjectFormal languagesen_US
dc.subjectData processingen_US
dc.subjectFormal languagesen_US
dc.subjectInterconnection networksen_US
dc.titleSymbolic computation of Petri netsen_US
dc.typeConference Objecten_US
dc.institutionauthorKapçak, Sinan-
dc.departmentİzmir Institute of Technology. Mathematicsen_US
dc.identifier.volume4488 LNCSen_US
dc.identifier.issuePART 2en_US
dc.identifier.startpage235en_US
dc.identifier.endpage242en_US
dc.identifier.wosWOS:000247062900033en_US
dc.identifier.scopus2-s2.0-38049161556en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1007/978-3-540-72586-2_33-
dc.relation.doi10.1007/978-3-540-72586-2_33en_US
dc.coverage.doi10.1007/978-3-540-72586-2_33en_US
dc.identifier.wosqualityN/A-
dc.identifier.scopusqualityQ3-
item.fulltextWith Fulltext-
item.grantfulltextopen-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
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 simple item record



CORE Recommender

SCOPUSTM   
Citations

3
checked on Nov 15, 2024

WEB OF SCIENCETM
Citations

2
checked on Nov 9, 2024

Page view(s)

1,024
checked on Nov 18, 2024

Download(s)

1,004
checked on Nov 18, 2024

Google ScholarTM

Check




Altmetric


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