Implementing a DSP-based Petri-net simulation tool

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.<<ETX>>

[1]  Bernard Berthomieu,et al.  Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols , 1983, Protocol Specification, Testing, and Verification.

[2]  Michel Diaz,et al.  Petri Nets Based Models in the Specification and Verification of Protocols , 1986, Advances in Petri Nets.

[3]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[4]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[5]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[6]  Orazio Mirabella,et al.  Computer network analysis by using a generalized Petri network simulator , 1984 .

[7]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[8]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[9]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[10]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[11]  Guy Juanole,et al.  Specification and verification of distributed systems using prolog interpreted petri nets. , 1984, ICSE '84.

[12]  Orazio Mirabella,et al.  Performance Evaluation of the Standard Proway Network for Process Control , 1986, IEEE Transactions on Industrial Electronics.

[13]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .