001: 669
003: Starlibrary PMS 4.5
005: 20180430
020: ^a0-13-651274-7
066: ^ani.R
072: ^aclock
082: ^a004.33
100: ^animal
240: ^aRealtime systems
245: ^aRealtime systems
260: ^c1997
650: ^aclocks and real time
650: ^apetri nets - an introducetion