Multimedia conferencing is increasingly becoming a very important and popular application over Internet. Due to the complexity of asynchronous communications and handle large and dynamically concurrent processes for multimedia conferencing, which confront relevant challenge to achieve sufficient correctness guarantees, and supporting the effective verification methods for multimedia conferencin...

This poster presents a tool for the modular construction of Petri net transducers by means of several composition operations as for example union, concatenation, closure, parallel and synchronous product and language composition. There are exports to PNML and several graphical output formats. For the implementation, we use the SNAKES framework, which is a Python library supporting the rapid pro...

State space methods are a popular approach to perform formal verification. However, these methods suffer from the state space explosion problem. In the past decades many methods did arise to cope with the state spaces of larger models. As result, a user has many different strategies in which state space methods can be applied on new models. Due to the wide variety of strategies and models is ma...

The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication acti...

Since again no reference is given by HL, the reader might assume that no previous work has been done on the subject. On the contrary, several references must be quoted" the problem of the influence of the space-group symmetry in the quartet relationships was first treated in paper G3 from both the algebraic and the probabilistic points of view and the implementation of the theory in a procedure...

Fifty two serum samples from patients with Crohn's disease, 24 from patients with ulcerative colitis, and 12 from patients with primary sclerosing cholangitis were analysed for the presence of anti-neutrophil cytoplasm antibodies (ANCA) of IgG and IgA class by means of enzyme linked immunosorbent assays using lactoferrin, myeloperoxidase, and antigen extracted from azurophil granules, 'a antige...

The PNM2mutation of Saccharomyces cereuisiaeeliminates the extrachromosomal element 9. PNM2 is closely linked to the omnipotent suppressor gene SUP35 (also previously identified as SUP2, SUFl2, SAL3 and G S T l ) . We cloned PNM2and showed that PNM2 and SUP35 are the same gene. We sequenced the P N M Z mutant allele and found a single G --f A transition within the N-terminal domain of the prote...

Approximate clone detection is the process of identifying similar process fragments in business process model collections. The tool presented in this paper can efficiently cluster approximate clones in large process model repositories. Once a repository is clustered, users can filter and browse the clusters using different filtering parameters. Our tool can also visualize clusters in the 2D spa...

We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verification through state-space querying, and code generation for several hardware platforms, most notably microcontrollers (e.g. Arduino, PIC, and Raspberry Pi) and FPGAs. The tool framework uses a class of Petri nets and is cloud...