Time Stream Petri Nets a model for timed multimedia information-Reference-Cited by-同舟云学术

Time Stream Petri Nets a model for timed multimedia information

Published:1994 Issue: Volume: Page:219-238
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Diaz Michel,Sénac Patrick

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58152-9_13.pdf

Reference19 articles.

1. J. F. Allen, Maintaining Knowledge about Temporal Intervals, Comm. of hte ACM, 26, (11), November 1983.

2. B. Berthomieu, M. Diaz, Modeling and Verification of Time Dependent Systems using Time Petri Nets, IEEE Transactions on Software Engineering, V 17, N3, March 1991.

3. T. Bolognesi, From Timed Petri Nets to Timed LOTOS, IFIP Int Conf on Protocol Specification, Testing and Verification, Ottawa, June 1990, North-Holland.

4. M. Diaz, Modeling and Analysis of Communication and Cooperation Protocols using Petri Net basisd Models, Computer Networks, December 1982.

5. M. Diaz, P. Senac, Synchronization and Multimedia Objects, Technical Report 92437, LAAS, November 1992.

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

1. Time Petri Nets with Action Duration;International Journal of Embedded and Real-Time Communication Systems;2013-04

2. Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties;Formal Aspects of Computing;2008-03

3. Structural translation from Time Petri Nets to Timed Automata;Journal of Systems and Software;2006-10

4. Model Checking of Time Petri Nets Using the State Class Timed Automaton;Discrete Event Dynamic Systems;2006-04

5. CTL* model checking for time Petri nets;Theoretical Computer Science;2006-03