Iglesias, AndresKapçak, Sinan2016-08-052016-08-052007Iglesias, 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_3397835407258550302-97431611-3349http://doi.org/10.1007/978-3-540-72586-2_33https://hdl.handle.net/11147/20567th International Conference on Computational Science, ICCS 2007; Beijing; China; 27 May 2007 through 30 May 2007Petri 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.eninfo:eu-repo/semantics/openAccessPetri netsFormal languagesData processingFormal languagesInterconnection networksConference Object2-s2.0-3804916155610.1007/978-3-540-72586-2_3310.1007/978-3-540-72586-2_3310.1007/978-3-540-72586-2_33