We continue the investigations of the connection between membrane systems and time Petri nets by extending the examined class of systems from simple symbol-object membrane systems to more complex cases: rules with promoters/inhibitors, membrane dissolution, and priority relation on the rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model; namely, the firings of the transitions can take place in any order, and there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for Petri nets.
In this note we give a description of Jordan * -derivations on standard operator algebras with respect to the Jordan product defined by A • B = 1 2 (AB + BA).
In the recent years there were several TÁMOP projects in Hungary to develop new and modern high-level textbooks (in mostly electronic form) in various fields. Starting from January of 2012 there was a two year project entitled "Sokprocesszoros rendszerek a mérnöki gyakorlatban" (Multiprocessor systems in engineering practice) involving three universities, namely, University of Pécs, University of Debrecen and Óbuda University. In the project 23 new materials were written, 10 books by the authors from the University of Debrecen. In this paper we present these new books. The topics of these books cover a wide range from theory of algorithms through on parallel programming technologies, languages till cloud computing technologies. The books are provided by the publisher Typotex and can effectively be used to teach students in various levels in various Universities in Software, System and Computer Engineering, Computer Science, Information Technology and in related disciplines.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.