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
  Van Begin, Laurent Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
  Boundedness undecidability for synchronized nets
Devillers R., Van Begin L. Information Processing Letters 99(5): 208-214, 2006.  Type: Article

Petri nets provide a graphical representation of concurrent, discrete-event, dynamic systems. This paper answers questions about synchronized Petri nets (SPNs): “Are the nets bounded?” “Which p...
...
Jan 10 2007  

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