Symbolic Computation of Petri Nets
| dc.contributor.author | Iglesias, Andres | |
| dc.contributor.author | Kapçak, Sinan | |
| dc.coverage.doi | 10.1007/978-3-540-72586-2_33 | |
| dc.date.accessioned | 2016-08-05T12:10:11Z | |
| dc.date.available | 2016-08-05T12:10:11Z | |
| dc.date.issued | 2007 | |
| dc.description | 7th International Conference on Computational Science, ICCS 2007; Beijing; China; 27 May 2007 through 30 May 2007 | en_US |
| dc.description.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. | en_US |
| dc.identifier.citation | 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 | en_US |
| dc.identifier.doi | 10.1007/978-3-540-72586-2_33 | en_US |
| dc.identifier.doi | 10.1007/978-3-540-72586-2_33 | |
| dc.identifier.isbn | 9783540725855 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.issn | 1611-3349 | |
| dc.identifier.scopus | 2-s2.0-38049161556 | |
| dc.identifier.uri | http://doi.org/10.1007/978-3-540-72586-2_33 | |
| dc.identifier.uri | https://hdl.handle.net/11147/2056 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.relation.ispartof | Lecture Notes in Computer Science | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Petri nets | en_US |
| dc.subject | Formal languages | en_US |
| dc.subject | Data processing | en_US |
| dc.subject | Formal languages | en_US |
| dc.subject | Interconnection networks | en_US |
| dc.title | Symbolic Computation of Petri Nets | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Kapçak, Sinan | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::conference output | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | İzmir Institute of Technology. Mathematics | en_US |
| gdc.description.endpage | 242 | en_US |
| gdc.description.issue | PART 2 | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | Q3 | |
| gdc.description.startpage | 235 | en_US |
| gdc.description.volume | 4488 LNCS | en_US |
| gdc.identifier.openalex | W1607121319 | |
| gdc.identifier.wos | WOS:000247062900033 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.oaire.accesstype | BRONZE | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 2.0 | |
| gdc.oaire.influence | 2.7997071E-9 | |
| gdc.oaire.isgreen | true | |
| gdc.oaire.keywords | Data processing | |
| gdc.oaire.keywords | Formal languages | |
| gdc.oaire.keywords | Petri nets | |
| gdc.oaire.keywords | Interconnection networks | |
| gdc.oaire.popularity | 4.1199405E-10 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0202 electrical engineering, electronic engineering, information engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.openalex.collaboration | International | |
| gdc.openalex.fwci | 1.36088889 | |
| gdc.openalex.normalizedpercentile | 0.8 | |
| gdc.opencitations.count | 2 | |
| gdc.plumx.crossrefcites | 2 | |
| gdc.plumx.mendeley | 4 | |
| gdc.plumx.scopuscites | 4 | |
| gdc.scopus.citedcount | 4 | |
| gdc.wos.citedcount | 2 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4003-8abe-a4dfe192da5e |