Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 2/1998

Inhalt (10 Artikel)

The opinion corner

A verification tool developer’s vade mecum

Perdita Stevens

Special section on coloured Petri nets

Preface by the Section Editor: Kurt Jensen

Kurt Jensen

Special section on coloured Petri nets

Analyzing the execution architecture of mobile phone software with colored Petri nets

Jianli Xu, Juha Kuusela

Special section on coloured Petri nets

The practitioner’s guide to coloured Petri nets

Lars M. Kristensen, Soren Christensen, Kurt Jensen

Special section on coloured Petri nets

Analysing a missile simulator with coloured Petri nets

Steven Gordon, Jonathan Billington

Special section on coloured Petri nets

Analysing a mechatronic system with coloured Petri nets

Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras

Special section on coloured Petri nets

Analysing superscalar processor architectures with coloured Petri nets

F.P. Burns, A.M. Koelmans, A.V. Yakovlev

Special section on coloured Petri nets

Creating executable models of influence nets with colored Petri nets

Lee W. Wagenhals, Insub Shin, Alexander H. Levis

Regular contribution

The Code Validation Tool (CVT)

A. Pnueli, O. Shtrichman, M. Siegel

Technical innovation

Integrating printed and online information

Thomas Friese, Tiziana Margaria, Alfred Hofmann

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner