Autonomous continuous P/T systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 107-126

  Recalde, Laura ^a   Teruel, Enrique ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTINUOUS SYSTEM; DEADLOCK FREENESS; DISCRETE EVENT DYNAMIC SYSTEMS; INTEGRALITY CONSTRAINTS; LIVENESS; REACHABILITY;

PETRI NETS;

EID: 84958970836     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_8     Document Type: Conference Paper

References (15)

1. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1), 1998.
2. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette. Modeling hybrid systems through by means of high-level Petri nets. benefits and limitations. In M. Ferney, P. Borne, A. El Moudni, and L. Grujic, editors, Proceedings of CIS’97, volume 1, pages 469-474, Belfort, France, 1997.
3. R. Champagnat, H. Pingaud, H. Alla, C. Valentin-Roubinet, and J.M. Flaus. A gas storage example as a benchmark for hybrid modelling. In Proc. of ADPM’98, pages 123-130, Reims, France, March 1998.
4. R. David and H. Alla. Continuous Petri nets. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, pages 275-294, Zaragoza, Spain, 1987.
5. R. David and H. Alla. Autonomous and timed continuous Petri nets. In Rozenberg [10], pages 71-90.
6. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
7. J. Ezpeleta, J. M. Couvreur, and M. Silva. A new technique for finding a generating family of siphons, traps and ST-components. application to coloured Petri nets. In Rozenberg [10], pages 126-147.
8. D. G. Luenberger. Introduction to Linear and non Linear Programming. Addison-Wesley Publishing Company, 1972.
9. L. Recalde, E. Teruel, and M. Silva. On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems, and Computers, 8(1):223-265, 1998.
10. G. Rozenberg, editor. Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science. Springer, 1993.
11. M. Silva. Towards a synchrony theory for P/T nets. In K. Voss et al., editors, Concurrency and Nets, pages 435-460. Springer, 1987.
12. M. Silva, E. Teruel, and J. M. Colom. Linear algebraic techniques for the analysis of net systems. In G. Rozenberg and W. Reisig, editors, Advances in Petri Nets, Lecture Notes in Computer Science. Springer, 1998. To appear.
13. E. Teruel and M. Silva. Structure theory of equal conflict systems. Theoretical Computer Science, 153(1-2):271-300, 1996.
14. K. Trivedi and V. G. Kulkarni. FSPNs: Fluid stochastic Petri nets. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 24-31. Springer, 1993.
15. C. Valentin and P. Ladet. Flow modelling in a class of hybrid (continuous/discrete) systems. In IEEE Int. Conf. on Systems, Man, and Cybernetics, Le Touquet, France, October 1993.