Finally we identify the class of the system nets whose processes are D-continuous and satisfy the axioms of concurrency. Furthermore we apply our work to Petri nets: we introduce occurrence nets, some special posets which model the processes of a system net and we present their relations to D-continuity and the axioms of con currency. We also derive several characterisations of D-continuity and exhibit its relation with the axioms of concurrency. In this paper we study Petri’s axioms of concurrency and some of their interdependencies. ![]() Petri has proposed a set of con currency axioms and a relate d property called D-continuity, a generalised version for partially ordered sets of Dedekind’s completeness property of the real numbers. Conversely, one is led to study the properties to be fulfilled by a poset so that it can reasonably be viewed as the model of a non-sequential process. Augustin, F.R.G.Ībstract: A non-sequential process can be modelled by a partially ordered set. is that continuous is without break, cessation, or interruption without intervening time while sequential is succeeding or following in order. But my program is executing in an unexpected order. Da parte russa nessun impegno concreto per favorire il processo di pace ma anche Oltretevere le attese per la missione del cardinale italiano non erano alte. Why I was fooling around with how I could set up my encapsulation. The waterfall methodology moves sequentially from planning, to analysis, to design, to implementation. ![]() Si conclude la visita dell’inviato del Papa a Mosca. The waterfall methodology is a non-sequential process in which any phase of the planning, analysis, design, and implementation can be done at any time during the system development process. Affiliations: Institut für methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung, D-5205 St. Non basta Zuppi per convincere Putin al negoziato.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |