Symbolic Computation of Petri Nets

Authors:
Andres Iglesias;Sinan Kapcak
Affiliations:
Department of Applied Mathematics and Computational Sciences, University of Cantabria, Avda. de los Castros, s/n, E-39005, Santander, Spain;Department of Mathematics, Izmir Institute of Technology, Urla, Izmir, Turkey
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Year:
2007

Citing 4
Cited 0

Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets

Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Extending Neural Networks for B-Spline Surface Reconstruction

ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Functional networks for B-spline surface reconstruction

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

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 Mathematicapackage for dealing with some Petri nets is introduced.