For the most recent entries see the
Petri Nets Newsletter
.
Keyword: temporal net
Suzuki, Ichiro
:
Specification and Verification of the Alternating Bit Protocol by Temporal Petri nets.
1990.
Suzuki, Ichiro
:
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
1990.
Sagoo, J.S.
:
The Specification and Design of Hard Real-Time Systems Using Timed and Temporal Petri Nets.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography