Title :
Petri net modeling for reactive system verification
Author_Institution :
University of Zagreb
Keywords :
Bridges; Embedded software; Error correction codes; Object oriented modeling; Petri nets; Process design; Real time systems; Software tools; Supervisory control; System recovery;
Conference_Titel :
Telecommunications, 2003. ConTEL 2003. Proceedings of the 7th International Conference on
Conference_Location :
Zagreb, Croatia
Print_ISBN :
953-184-052-0
DOI :
10.1109/CONTEL.2003.176918
