For the most recent entries see the
Petri Nets Newsletter
.
Keyword: model
Yu, Huiqun
;
He, Xudong
;
Deng, Yi
;
Mo, Lian
:
Formal Analysis of Real-Time Systems with SAM.
2002.
Lodaya, Kamal
;
Mukund, Madhavan
;
Ramanujam, R.
;
Thiagarajan, P.S.
:
Models and Logics for True Concurrency.
1990.
Meseguer, José
:
Rewriting as a Unified Model of Concurrency.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography