For the most recent entries see the
Petri Nets Newsletter
.
Keyword: formal models
Jorgensen, Jens Bæk
;
Lassen, Kristian Bisgaard
:
Requirements Engineering for the Adviser Portal Bank System.
2006.
Buchs, D.
;
Buffo, M.
:
Rapid prototyping of formally modeled distributed systems.
1999.
Jensen, K.
:
A brief introduction to colored Petri nets.
1998.
Weske, Mathias
:
Deadlocks in Computersystemen.
1995.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography