A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

1991 ◽  
Vol 32 (1-5) ◽  
pp. 111-118 ◽  
Author(s):  
J.S. Sagoo ◽  
D.J. Holding
2016 ◽  
Vol 44 (6) ◽  
pp. 1296-1336 ◽  
Author(s):  
Martin Frieb ◽  
Ralf Jahr ◽  
Haluk Ozaktas ◽  
Andreas Hugl ◽  
Hans Regler ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document