DocumentCode
1686209
Title
Petri net modeling for reactive system verification
Author
Blaskovic, B.
Author_Institution
University of Zagreb
Volume
1
fYear
2003
Firstpage
257
Lastpage
264
Keywords
Bridges; Embedded software; Error correction codes; Object oriented modeling; Petri nets; Process design; Real time systems; Software tools; Supervisory control; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Telecommunications, 2003. ConTEL 2003. Proceedings of the 7th International Conference on
Conference_Location
Zagreb, Croatia
Print_ISBN
953-184-052-0
Type
conf
DOI
10.1109/CONTEL.2003.176918
Filename
1214654
Link To Document