Transition systems and concurrent processes
André Arnold (1988)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the analysis of Petri nets and their synthesis from process languages”
Transition systems and concurrent processes
Existence of solutions for degenerate sweeping processes.
Kunze, M., Monteiro Marques, Manuel D.P. (1997)
Journal of Convex Analysis
Similarity:
BPMN Analysis of Public Procurement
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....
Limit theorems for the process of exceedances in large populations.
Rahimov, Ibrahim, Hasan, Husna (2000)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Breakdown processes of systems in parallel
B. Kopociński (1966)
Applicationes Mathematicae
Similarity:
Remarks on addition processes of positive floating-point numbers
M. M. Sysło (1974)
Applicationes Mathematicae
Similarity:
Axiomatization of differential equation theory
Hájek, O.
Similarity:
Induced stationary process and structure of locally square integrable periodically correlated processes
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...