Giving semantics to SA/RT by means of high-level timed Petri nets-Reference-Cited by-同舟云学术

Giving semantics to SA/RT by means of high-level timed Petri nets

Published:1993-05 Issue:2-3 Volume:5 Page:249-271
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Elmstr�m Ren�,Lintulampi Raino,Pezz� Mauro

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

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

Reference12 articles.

1. Berthomieu, B. and Diaz, M. 1991. Modeling and Verification of Time Dependent Systems Using Time Petri Nets.IEEE Transactions on Software Engineering, 17(3): 259?273.

2. Elmstrøm, R., Lintulampi, R., and Pezzé, M. 1992. Automatic translation of SA/RT to ER nets. Technical Report, IFAD, VTT and PDM.

3. Felder, M., Ghezzi, C., and Pezzé, M. 1991. Task T24 report: HLTPN Kernel Model. Technical Report, Politechnico di Milano.

4. Felder, M., Ghezzi, C., and Pezzé, M. 1993. High Level Timed Petri Nets as a Kernel for Executable Specifications.Real-Time Systems, 5(2/3): 235?248.

5. Ghezzi, C., Morasca, S., and Pezzé, M. 1993. Timing Analysis of Time Basic Nets. Submitted toJournal of Systems and Software.

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

1. A formal design notation for real-time systems;ACM Transactions on Software Engineering and Methodology;2002-04

2. An approach to modeling and evaluation of functional and timing specifications of real-time systems;Journal of Systems and Software;2001-06

3. A Formal Definition of Structured Analysis with Programmable Graph Grammars;Applications of Graph Transformations with Industrial Relevance;2000

4. Advanced Software Engineering Techniques for Real-Time Systems;IFAC Proceedings Volumes;1998-06

5. Experiences with colored predicate-transition nets for specifying and prototyping embedded systems;IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics);1998