Transition systems and concurrent processes
André Arnold (1988)
Banach Center Publications
Similarity:
André Arnold (1988)
Banach Center Publications
Similarity:
Kunze, M., Monteiro Marques, Manuel D.P. (1997)
Journal of Convex Analysis
Similarity:
Semerdjieva, Maria, Krastev, Evgeniy (2012)
Serdica Journal of Computing
Similarity:
ACM Computing Classification System (1998): D.0, D.2.11. This paper formulates a realistic case study of a public procurement process, where the national legal system is taken in consideration. Business Process Modeling Notation (BPMN) is used for encoding processes related to the analysis of public procurement tasks. Critical elements in the public procurement process that affect time, quality and cost are identified at the organizational, process execution and system levels....
Rahimov, Ibrahim, Hasan, Husna (2000)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
B. Kopociński (1966)
Applicationes Mathematicae
Similarity:
M. M. Sysło (1974)
Applicationes Mathematicae
Similarity:
Hájek, O.
Similarity:
Andrzej Makagon (1999)
Studia Mathematica
Similarity:
A one-to-one correspondence between locally square integrable periodically correlated (PC) processes and a certain class of infinite-dimensional stationary processes is obtained. The correspondence complements and clarifies Gladyshev's known result [3] describing the correlation function of a continuous periodically correlated process. In contrast to Gladyshev's paper, the procedure for explicit reconstruction of one process from the other is provided. A representation of a PC process...
Ludwik Czaja (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
Processes in Place/Transition (P/T) nets are defined inductively by a peculiar numbering of place occurrences. Along with an associative sequential composition called catenation and a neutral process, a monoid of processes is obtained. The power algebra of this monoid contains all process languages with appropriate operations on them. Hence the problems of analysis and synthesis, analogous to those in the formal languages and automata theory, arise. Here, the analysis problem is: for...