Timed P Automata-Reference-Cited by-同舟云学术

Timed P Automata

Published:2009-01 Issue: Volume:227 Page:21-36
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Barbuti Roberto,Maggiolo-Schettini Andrea,Milazzo Paolo,Tesei Luca

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference11 articles.

1. A theory of timed automata;Alur;Theoretical Computer Science,1994

2. Developing population models for guiding reintroductions of extirpated bird species back to New Zealand mainland;Armstrong;New Zealand Journal of Ecology,2006

3. A P System modeling an ecosystem related to the bearded vulture;Cardona,2008

4. Time-independent P Systems;Cavaliere,2004

5. Cavaliere, M. and C. Zandron, Time-driven computations in P Systems, in: Proc. of the 4th Brainstorming Week on Membrane Computing, 2006

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of membrane systems with delays via Petri nets with delays;Theoretical Computer Science;2015-09

2. Modelling Queues in Transportation Networks Using P Systems;Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems;2014

3. A survey of timed automata for the development of real-time systems;Computer Science Review;2013-08

4. Adding Lifetime to Objects and Membranes in P Systems;International Journal of Computers Communications & Control;2010-09-01

5. Modelling the Dynamics of an Aedes albopictus Population;Electronic Proceedings in Theoretical Computer Science;2010-08-18