Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

International Journal on Software Tools for Technology Transfer (STTT)

Volume 1 / 1997 - Volume 14 / 2012

Volume 3, Number 4 / September 2001

Viewing all 10 articles

Journal
About

Search within

Search Within This Journal

Hide Filters
Show Filters

Browse This Journal

Contemporary Content

About This Journal

Title

International Journal on Software Tools for Technology Transfer (STTT)

Coverage

Volume 1 / 1997 - Volume 14 / 2012

Collection

Computer Science

Subjects

ISSN

1433-2779 (Print)
1433-2787 (Online)

Additional Links

Publisher

Springer Berlin / Heidelberg

SpringerLink Date

Friday, April 05, 2002

369-371
Special section on the practical use of high-level Petri nets
Preface by the section editor
Kurt Jensen
- Download PDF (73.9 KB)
372-381
Special section on the practical use of high-level Petri nets
Specification and validation of a concurrent system: an educational project
Gérard Berthelot and Laure Petrucci
- Download PDF (214.8 KB)
382-393
Special section on the practical use of high-level Petri nets
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods
Leo Ojala, Nisse Husberg and Teemu Tynjälä
- Download PDF (262.6 KB)
394-404
Special section on the practical use of high-level Petri nets
Executable Petri net models for the analysis of metabolic pathways
Hartmann Genrich, Robert Küffner and Klaus Voss
- Download PDF (668.9 KB)
405-416
Special section on the practical use of high-level Petri nets
Web-based interfaces for simulation of coloured Petri net models
Bo Lindstrom
- Download PDF (389.2 KB)
417-430
Special section on the practical use of high-level Petri nets
Implementing compositionality for stochastic Petri nets
S. Bernardi, S. Donatelli and A. Horváth
- Download PDF (569.1 KB)
431-455
Regular contribution
Generating an action notation environment from Montages descriptions
Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio and Lothar Thiele
- Download PDF (549.4 KB)
456-468
Regular contribution
Easy concurrency
Alex Aizman
- Download PDF (1.0 MB)
469-485
Special section on the practical use of high-level Petri nets
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
David P.L. Simons and Mariëlle I.A. Stoelinga
- Download PDF (330.8 KB)
486-497
Regular contribution
The Petri Net Kernel An infrastructure for building Petri net tools
Ekkart Kindler and Michael Weber
- Download PDF (225.6 KB)

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us