Implementing a DSP-Based Petri-Net Simulation Tool

Authors:
Antonella Di Stefano;Orazio Mirabella;Fabio Presente
Affiliations:
-;-;-
Venue:
IEEE Micro
Year:
1991

Citing 8
Cited 0

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Computer network analysis by using a generalized Petri network simulator

Mathematics and Computers in Simulation
A Generalized Timed Petri Net Model for Performance Analysis

International Workshop on Timed Petri Nets
Use of Petri Nets for Performance Evaluation

Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Petri Nets Based Models in the Specification and Verification of Protocols

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Timed Petri nets and preliminary performance evaluation

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Specification and verification of distributed systems using prolog interpreted petri nets.

ICSE '84 Proceedings of the 7th international conference on Software engineering
PETRI NET LANGUAGE

PETRI NET LANGUAGE

Quantified Score

Hi-index	0.00

Visualization

Abstract

An efficient simulator of Petri nets, suitable for both loosely and tightly coupled parallel systems and featuring high-execution speed, is proposed. This speed is obtained through an optimized software structure on an original hardware architecture that is based on digital signal processors of the TMS320 family. The Petri net class outlined compactly represents a wide range of processes by restricting the model size and the relevant simulation times. The simulation algorithm and simulator implementation are described.