A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements

Authors:
James E. Coolahan, Jr.;Nick Roussopoulos
Affiliations:
-;-
Venue:
International Workshop on Timed Petri Nets
Year:
1985

Citing 0
Cited 3

Petri-net-based hypertext: document structure with browsing semantics

ACM Transactions on Information Systems (TOIS)
Detecting Unsafe Error Recovery Schedules

IEEE Transactions on Software Engineering
Conferencing protocols and Petri net analysis

AIC'06 Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract