State class timed automaton of a time Petri net

Saved in:
Bibliographic Details
Main Authors: Lime, D., Roux, O.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Clocks
Concrete
Concurrent computing
Discrete event systems
Logic
Partitioning algorithms
Petri nets
Real time systems
Time factors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1063-6714
2332-6433
DOI:10.1109/PNPM.2003.1231549