Continuous petri nets: Expressive power and decidability issues

International Journal of Foundations of Computer Science

Volumn 21, Issue 2, 2010, Pages 235-256

  Recalde, Laura ^a   Haddad, Serge ^b   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Decidability; Dynamical systems; Expressiveness; Liveness; Petri nets; Reachability

Indexed keywords

EID: 77951720712     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054110007222     Document Type: Article

References (15)

1. H. Alla and R. David. Continuous and hybrid Petri nets, Journal of Circuits, Systems, and Computers, 8 (1) :159-188, 1998.
2. R. Alur and D. Dill. A theory of timed automata, Theoretical Computer Science, 126 (2) :183-235, 1994.
3. E. Asarin, O. Maler, and A. Pnueli. Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, 138-1:35-65, 1995.
4. M. S. Branicky. Universal computation and other capabilities of hybrid and continuous dynamical systems, Theoretical Computer Science, 138 (1) :67-100, 1995.
5. J. W. Forrester. Principles of Systems. Productivity Press, 1968.
6. S. Haddad, L. Recalde, and M. Silva. On the computational power of Timed Differentiable Petri nets, In E. Asarin and P. Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th Int. Conf. FORMATS 2006, volume 4202 of LNCS, pages 230-244, Paris, France, 2006. Springer. (Pubitemid 44617535)
7. E. Hainry. Reachability in linear dynamical systems, Computability in Europe 2008, Volume 5028 of LNCS, pages 241-250, Athens, Greece, 2008. Springer.
8. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata?, Journal of Computer and System Sciences, 57 (1) :94-124, 1998.
9. J. E. Hopcroft and J. D. Ullman. Formal languages and their relation to automata. Addison-Wesley, 1969.
10. th Int. Conf. on Application and Theory of Petri Nets (ICATPN 2003), volume 2679, pages 221-240. Springer, Eindhoven, The Netherlands, June 2003.
11. L. Recalde, S. Haddad and M. Silva, Continuous Petri Nets: Expressive Power and Decidability Issues, In Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, volume 4762 of LNCS, pages 362-377, Tokyo, Japan, 2007. Springer.
12. L. Recalde, E. Teruel, and M. Silva. Autonomous continuous P/T systems, In S. Donatelli and J. Kleijn, editors, Application and Theory of Petri Nets 1999, volume 1639 of LNCS, pages 107-126. Springer, 1999.
13. M. Silva. Introducing Petri nets, In Practice of Petri Nets in Manufacturing, pages 1-62. Chapman & Hall, 1993.
14. M. Silva and L. Recalde. Continuization of timed Petri nets: From performance evaluation to observation and control, In G. Ciardo and P. Darondeau, editors, Procs. of ICATPN 2005, volume 3536 of LNCS, pages 26-46. Springer, 2005.
15. M. Silva, E. Teruel, and J. M. Colom. Linear algebraic and linear programming techniques for the analysis of net systems, In G. Rozenberg and W. Reisig, editors, Lectures in Petri Nets. I: Basic Models, volume 1491 of LNCS, pages 309-373. Springer, 1998.