Time Delays in Membrane Systems and Petri Nets
Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and ti...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-07-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1107.1200v1 |
| _version_ | 1819230413699153920 |
|---|---|
| author | Bogdan Aman Gabriel Ciobanu |
| author_facet | Bogdan Aman Gabriel Ciobanu |
| author_sort | Bogdan Aman |
| collection | DOAJ |
| description | Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resource. We establish a link between timed membrane systems and timed Petri nets with localities, and prove an operational correspondence between them. |
| first_indexed | 2024-12-23T11:28:41Z |
| format | Article |
| id | doaj.art-4079006d65334f72a56671dfbb730f6f |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-23T11:28:41Z |
| publishDate | 2011-07-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-4079006d65334f72a56671dfbb730f6f2022-12-21T17:48:53ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-07-0157Proc. QAPL 2011476010.4204/EPTCS.57.4Time Delays in Membrane Systems and Petri NetsBogdan AmanGabriel CiobanuTiming aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resource. We establish a link between timed membrane systems and timed Petri nets with localities, and prove an operational correspondence between them.http://arxiv.org/pdf/1107.1200v1 |
| spellingShingle | Bogdan Aman Gabriel Ciobanu Time Delays in Membrane Systems and Petri Nets Electronic Proceedings in Theoretical Computer Science |
| title | Time Delays in Membrane Systems and Petri Nets |
| title_full | Time Delays in Membrane Systems and Petri Nets |
| title_fullStr | Time Delays in Membrane Systems and Petri Nets |
| title_full_unstemmed | Time Delays in Membrane Systems and Petri Nets |
| title_short | Time Delays in Membrane Systems and Petri Nets |
| title_sort | time delays in membrane systems and petri nets |
| url | http://arxiv.org/pdf/1107.1200v1 |
| work_keys_str_mv | AT bogdanaman timedelaysinmembranesystemsandpetrinets AT gabrielciobanu timedelaysinmembranesystemsandpetrinets |