Introducing modularity in order to analyze a net means finding methods to decompose it into subnets such that properties of the net can be deduced from properties of these subnets. The aim of this paper is to develop a unified approach for deriving some of the fundamental properties of the global net from the properties of its components for certain types of Petri nets such as Place/Transition ...

Petri nets are being used by researchers in various domains where the notions of choice and concurrency are essential. Among these domains are the analysis of production schemata [3], the description and realization of digital systems [8], the finding of the computation rate of activities in asynchronous concurrent systems [l 11, the formal verification of parallel programs [6]. Many other appl...

Sharing analysis is widely deployed in the optimisation, specialisation and parallelisation of logic programs. Each abstract unification operation over the classic Jacobs and Langen domain involves the calculation of a closure operation that has exponential worst-case complexity. This paper explores a new tactic for improving performance: laziness. The idea is to compute partial sharing informa...

Abstract: An ambition to avoid deadlock states occurring in simulation models of railway station operation requires an application of methods from resource allocation systems. Because of complexity of the underlying system, Banker’s algorithm has been chosen. To test its applicability, a coloured Petri net model of a simple railway station operation was constructed and the algorithm implemented...

This paper presents arithmetic operations like addition, subtraction and multiplications in Modulo-4 arithmetic, and also addition, multiplication in Galois field, using multi-valued logic (MVL). Quaternary to binary and binary to quaternary converters are designed using down literal circuits. Negation in modular arithmetic is designed with only one gate. Logic design of each operation is achie...

BACKGROUND We validated the clinical relevance of ventricular stiffness by examining surgical morbidity in children with univentricular hearts undergoing Fontan operation. We hypothesized that ventricular stiffness affects Fontan morbidity, particularly duration of pleural effusions. METHODS AND RESULTS Sixteen children with right ventricular (RV) (n =11) or left ventricular (LV) (n =5) domin...

We consider a Petri net for the producer/consumer problem (one of classical synchronization problems) with bounded buffer size n and regular formal languages Ln, generated by net. The objective this paper is to obtain expression set difference Ln \ Lm, > m. For purpose, we give finite automaton which accepts mentioned languages, then use state elimination method in recursive form. main resul...