SOFTWARE FOR ELEMENTARY PETRI NETS TOPOLOGY AND CLASSIFICATION STUDYING BY THEIR HOMOLOGY GROUPS CALCULATION
Annotation
The article deals with the software for computing of homology groups and directed homology groups of elementary Petri nets. Calculation method is based on an algorithm for finding the homology groups of the complex of finitely generated free Abelian groups by the Smith normal form. The main idea is in the method for calculating of matrix coefficient of differential that admits a visual inspection. Moreover, the problem of visual constructing a Petri net with the ability to study its dynamics is considered. Examples of manual calculations of homology groups and directed homology groups are shown. User interaction with the developed application is described. Examples are given for creation and computing of the homology groups and directed homology groups by the developed application. The software is implemented in the environment of Embarcadero RAD Studio 2010 by C++ programming language.
Keywords
Постоянный URL
Articles in current issue
- OPTICAL SOLITONS IN TWO-LEVEL ATOMS MEDIA
- DIELECTRIC OPTICAL NANOANTENNAS
- MODE CONTROL FOR SYSTEM OF COUPLED SPLIT-RING RESONATORS BY MEANS OF LIGHT
- BAND-GAP STRUCTURE ANALYSIS OF PHOTONIC CRYSTAL WITH MULTIPLE OPTICAL LAYERS LENGTHS FOR TERAHERTZ FREQUENCY RANGE
- OPTICAL AND OPTICAL ELECTRONIC SYSTEMS. OPTICAL TECHNOLOGIES LABORATORY SPECTROPHOTOMETER FOR VISIBLE SPECTRAL REGION
- SELECTION AND CALCULATION OF OPTOELECTRONIC SYSTEM ITEMS WITH OPTICAL EQUISIGNAL ZONE FOR VERTICAL TEMPERATURE GRADIENT MEASUREMENT OF THE AIR PATH
- DYNAMIC VISUAL ACUITY EXPERIMENTAL DETERMINATION
- PARAMETERS CALCULATION OF OPTICAL FILTER WITH ANGULAR SELECTIVE LIGHT TRANSMISSION
- CROSSTALK COMPUTER SIMULATION IN THE INFORMATION-MEASURING FIBER OPTICAL DEVICE
- OPTICAL CHARACTERISTICS DEFINITION OF OPTICAL TECHNOLOGY SURFACE ELEMENTS FOR THEIR OPTICAL CONNECTIONS
- APLANATIC MENISCUS OPTICAL ENGINEERING
- CHARACTERISTICS CHANGE OF UV LIGHT EMITTING DIODE CHIP-ON-BOARD ASSEMBLIES AT LONG WORKING TIME ON NOMINAL CURRENT
- HYDRAULIC DRIVE CONTROL SYSTEM WITH A STATIC NONLINEARITY COMPENSATION
- MATHEMATICAL MODEL AND SIMULATION ALGORITHM OF THE MULTI-TIERED MECHANICAL SYSTEM
- NON-LINEAR MASS-SPRING SYSTEM FOR LARGE SOFT TISSUE DEFORMATIONS MODELING
- DEPENDENCE OF THE PIEZOELECTRIC TRANSDUCER REACTANCE ON THE MECHANICAL PARAMETERS OF ITS LOAD
- ON DISTORTION ASSESSMENT OF IMAGES MASKING WITH M-MATRICES
- ADAPTIVE SKIN DETECTOR DEVELOPMENT
- ANAPHORIC RELATIONS IDENTIFICATION BY AUTOMATIC TEXT ANALYSIS
- AUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES IN EXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGE
- INFORMATION SYSTEMS INTEGRATION ON THE BASE OF LINKED DATA TECHNOLOGY
- HUMAN LOWER LIMBS INVESTIGATION DURING WALKING BY MEANS OF INERTIAL MOTION CAPTURE TECHNOLOGIES
- PHOTOCHEMICALLY INDUCED LUMINESCENCE POLARIZATION OF CdSe/ZnS QUANTUM RODS IN POROUS MATRIX
- THE EFFECT OF FULLERENE C60 ON THE MECHANICAL BEHAVIOR OF EPOXY RESIN
- WELDS QUALITY CONTROL DURING WELDING BY MEANS OF ACOUSTIC EMISSION
- VULNERABILITY ANALYSIS OF ROBOTIC SYSTEMS WITH SWARM INTELLIGENCE
- A METHOD FOR INTEGRATED ASSESSMENT AND ANALYSIS OF REGIONAL SOCIOECONOMIC SYSTEM GLOBAL SECURITY BASED ON COGNITIVE MODELING
- EXPERIMENTAL LEARNING METHOD OF SPRING PENDULUM DAMPED OSCILLATIONS ON AN INCLINED PLANE
- THE INFLUENCE OF COMPLEX FORMATION EFFECT BETWEEN POLYSILANE AND FULLERENE C60 ON THE ABSORBANCE SPECTRA AND OPTICAL LIMITING
- ON PROJECTILE AERODYNAMICS FOR A SLING
- URGENT COMPUTING FOR SCHEDULING AND DISPATCHING OF PUBLIC CONVEYANCES
- SIMULATION OF PROTEINS CONFORMATIONAL-BASED FEATURES FOR RATIONAL DRUG DESIGN BY CLAVIRE CLOUD ENVIRONMENT
- AUTOMATIC METHOD OF THE MOLECULAR MECHANICAL POTENTIALS DETERMINATION FOR COARSE-GRAINED REPRESENTATION OF THE MOLECULAR SYSTEM