iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/apn/RouxL04.xml
Olivier H. Roux Didier Lime Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. 371-390 https://doi.org/10.1007/978-3-540-27793-4_21 2004 conf/apn/2004 ICATPN db/conf/apn/icatpn2004.html#RouxL04