dc.contributor.author | GUŢULEAC, Emilian | |
dc.date.accessioned | 2019-11-13T09:12:21Z | |
dc.date.available | 2019-11-13T09:12:21Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | GUŢULEAC, Emilian. Encoding P systems with descriptive membrane timed Petri Nets. In: Microelectronics and Computer Science: proc. of the 4th intern. conf., September 15-17, 2005. Chişinău, 2005, vol. 2, pp. 248-252. ISBN 9975-66-038-X. | en_US |
dc.identifier.isbn | 9975-66-038- | |
dc.identifier.uri | http://repository.utm.md/handle/5014/6743 | |
dc.description.abstract | Petri nets (PN) are very popular formalism for the analysis and representation of concurrent distributed systems that has draw much attention from the community to modeling and verification of this type of systems. P systems, also referred to as membrane systems, are a class of parallel and distributed computing models inspired from the structure and the functioning of living cells. The interest of relating P systems with the PN model of computation lead to several important results on simulation and decidability issues. Some efforts have been made to simulate P systems with Petri nets. In this paper, we introduce the Descriptive Membrane Timed PN, called DM-nets that can dynamically modify their own structures by rewriting rules transitions some of their components thus supporting structural dynamic changes within modeled P systems. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Technical University of Moldova | en_US |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
dc.subject | Petri nets | en_US |
dc.subject | P systems | en_US |
dc.title | Encoding P systems with descriptive membrane timed Petri Nets | en_US |
dc.type | Article | en_US |
The following license files are associated with this item: