Reduction rules for time Petri nets-Reference-Cited by-同舟云学术

Reduction rules for time Petri nets

Published:1996-08 Issue:5 Volume:33 Page:687-706
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Sloan Robert H.,Buy Ugo

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03036471.pdf

Reference22 articles.

1. Azema, P., Juanole, G., Sanchis, E., Montbernard, M.: Specification and verification of distributed systems using Prolog Interpreted Petri nets. In: Proc. 7th Int. Conf. on Software Engineering, pp. 510–518, Orlando, Florida, 1984

2. Berthelot, G.: Transformations et analyse de réseaux de Petri: Application aux protocoles. PhD thesis, Université de Paris 6, 1983

3. Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G., (ed.) Advances in Petri Nets 1985, pp. 19–40. Berlin, Heidelberg, New York: Springer 1987

4. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng.17(3), 259–273 (1991)

5. Buy, U., Sloan, R.: A Petri-net-based approach to real-time program analysis. In: Proc. 7th Int. Workshop on Software Specification and Design, pp. 56–60, December 1993

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets;Journal of Systems and Software;2024-04

2. Reduction Operators Based on Behavioral Inheritance for Timed Petri Nets;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2014

3. Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications;The International Journal of Robotics Research;2000-01