Wellcome

Your search returned 4 results.

Sort
Results
Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen.

by Jensen, Kurt | Kristensen, Lars M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst.

by Jensen, Kurt | Aalst, Wil M. P | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5460Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny.

by Jensen, Kurt | Billington, Jonathan | Koutny, Maciej | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5800Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny.

by Jensen, Kurt | Donatelli, Susanna | Koutny, Maciej | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6550Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Pages

No. of hits (from 9th Mar 12) :

Powered by Koha