Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Jensen, Kurt Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 4 of 4 reviews    
  Colored Petri nets (vol. 3)
Jensen K. (ed), Springer-Verlag New York, Inc., New York, NY, 1997.  Type: Book (9783540628675)

This book completes a series of three volumes on colored Petri nets (CP-nets). The first volume [1] presents the colored Petri net (CPN) model; the second volume [2] describes analysis methods; and this volume presents several examples...
...
Jul 1 1998  
  Coloured Petri nets (2nd ed.)
Jensen K. (ed), Springer-Verlag, London, UK, 1996.  Type: Book (9783540609438)

Colored Petri nets (CPNs) are probably the most used high-level Petri net model. This book is well focused, complete, self-contained, easy to read, of a perfect length, and never tedious despite the topic. It should be on the shelves o...
...
Mar 1 1997  
  Coloured Petri nets
Jensen K. (ed), Springer-Verlag, London, UK, 1995.  Type: Book (9783540582762)

This is the second volume of Jensen’s work on colored Petri nets (CP-nets). The first volume introduces the model, while this volume concentrates on analysis methods. This volume requires familiarity with CP-nets. I strongly ...
...
Aug 1 1996  
  Reachability trees for high-level Petri nets
Huber P., Jensen A., Li ., Jepsen L., Jensen K. (ed) Theoretical Computer Science 45(3): 261-292, 1986.  Type: Article

High-level Petri nets (HL-nets) have been introduced to handle rather complex systems in a succinct and manageable way, although there is still much work to be done in order to establish the necessary analysis methods....
...
Feb 1 1989  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy