Implementation of weighted place / transition nets based on linear enabling functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 815 LNCS, Issue , 1994, Pages 100-118

  Briz, J L ^a   Colom, J M ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Linear Enabling Functions; Simulation of Weighted Place Transition Systems; Structure and Behavior of nets; Timed Petri Nets

Indexed keywords

PETRI NETS; SCHEDULING ALGORITHMS;

CRITICAL PROBLEMS; IS-ENABLED; PARALLEL STRATEGIES; PLACE TRANSITION; SIMULATION ENGINE; TIMED PETRI NET;

DISCRETE EVENT SIMULATION;

EID: 85027489945     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58152-9_7     Document Type: Conference Paper

References (27)

1. HH Ammar and Su Deng. Time Warp Simulation of Stochastic Petri Nets. In Proc. of the 4th Int. Workshop on Petri Nets and Performance Models pages 186-195, Melbourne, Australia, December 1991. IEEE-CS Press.
2. J Banks and JS Carson. Discrete-Event System SimTdation. Prentice Hall, Inc., 1984.
3. F BrYant. Rapid prototyping from petri net on a loosely coupled parallel architecture. In Tmnsputer applications 1991, pages 28-30, Glasgow, Scotland (UK), August 1991.
4. G Chiola, S Donatelli, and G Franceschinis. Priorities, Inhibitor Arcs and Concurrency in P/T nets. In Proc. of the 12th Int. Conference in Application and Theory. of Peti Nets, pages 182-205, Aarhus, June 1991.
5. G Chiola and A Ferscha. Distributed Simulation of Timed Petri Nets: Exploiting the Net Stnmture to Obtain Efficiency. In Marco Ajmone Marsan, editor, Proc. of the 14th Int.conf. on App. and Theoty of Petri Nets,pages 186-195, Melbourne, Australia, December 1993. Springer-Verlag.
6. D Chocron. Un Systéme de Programmation par RdP de Controleurs Indltstriels. Master's thesis, Montreal, Canada, 1980.
7. JM Colom, M Silva, and JL Villarroel. On software implementation of Petri Nets and Colored Petri Nets using high level concurrent languages. In Proc. of 7th European Workshop on Application and Theory of Petri nets, pages 207-241, Oxlbrd, England, January 1986.
8. RM Fnjimoto. Parallel Discrete Event Simulation. Communicationa o.f the ACM, 33(10):30-53, October 1990.
9. N Karmarkar. A New Polynomial Time Algorithm for Linear Programming. Combinatorica, (4):373-395, 1984.
10. F Kordon. Prototypage de systmès paralléles à partir de rèaux de Petri colords. PhD thesis, Institut Blaise Pascal, Univ. Paris VI, 4, Place Jussieu 75252 PARIS CEDEX 05, 1992.
11. D Kmnar. Systems with low distributed simulation overhead. IEEE Trannsactions on Paraled and Distributed Syttems, 3(2):155-165, March 19
12. Y Li and WM Wonham. Control of Vector Discrete-Event Systems. I The Base Model. IEEE Transactions on Automatic Conttrol, 38(8):1214-1227, August 1993.
13. J Migtml and M Graña. Towards the Distributed hnplementation of Discrete Event Simulation Languages. In Proc. Int. Conf on Decennterlilized and Ditritributed Systems ICDDS'93 pages 273-285, MMlorca, Espafia, September 1993.
14. J Misra. Distributed discrete-event simulation. ACM Computing Surveys, 18(1), March 1986.
15. T Murata. Petri nets: properties, analysis, and applications. Prvceatings of the IEEE, 77(4), April 1989.
16. RA Nelson, LM Haibt, and PB Sheridan. Casting Petri Nets into programs. IEEE TTunsactions on Software Engineering, 9(5):590-602, September 1983.
17. C Ramchandany. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, Massachtmetts Institute of Technology, Mmssachusetts 02139, USA, 1974.
18. M Silva. Las Redes de PetTi en la Infomàndtica yen la Automdtica. AC, Madrid, 1985.
19. M Silva and JM Colom. On the Computation of Strtmtural Synchronic Invariants in P/T Nets. In G Rozenberg, H Genrich, and G Roucairol, editors, Advances in Petri Nets 1988, vohune 340 of Lecture Notes in Computer Sciences, pages 387-417. Springer-Verlag, Berlin, Germany, 1988.
20. M Silva and R David. Synthese programmée des automates logiqtms décrits par réseaux de petri: Une méthode de raise en oeuvre sur microcalclflateurs. Rairo-Automatique, 13(4):369-393, november 1979.
21. M Silva and S Velilla. Programmable logic controllers and Petri Nets: A comparative study. In Proc. of the Thirst IFA C/IFIP Symposium, Software for Computer Control 1982, pages 83-88. Pergamon Press, 1982.
22. D Taubner. On the imlflementation of Petri Nets. In G. Rozenberg, H. Genrich, and G. Roucairol, editors, Advances in Petr-i Nets 1988, vohune 340 of Lecture Notes in Computer Sciences, pages 418-439. Springer-Verlag, Berlin, Germany, 1988.
23. E. Teruel, J.M. Colom, and M. Silva. Linear analysis of deadlock-ffeeness of Petri net models. In Proc. of the Europen Conrtol Conference, ECC'93, pages 513-518, Groningen, The Netherlands, June 28 - July 1 1993.
24. R Valette. Nets in production systems. In G Goos and Hartmann, editors, Petri Nets: Applicatios and Relationships to Other Models of Concurrency, volume 255 of Lecture. Notes in Computer Sciences, pages 191-217. Springer-Verlag, Berlin, Germany, 1986.
25. JL Villarroel. Integración Infmation ContTnl en Sistemas Flexibles de FabricaeiSn. PhD thesis, Universidad de Zaragoza, Maria de Luna 3 E-50015 Zaragoza, España, 1990.
26. BP Zeigler. Theory Modelling and Simulation. Wiley-Interscience, 1976.
27. BP Zeigler and WH Sanders. Frameworks for Evaluating Discrete Event Dynamic Systems. Discrete Event Dynamic Systems: Theory and Applicatiotion, (3):113-118, 1993.