Consistency of User Interface Based on Petri-Net

Object management Petri net technique is developed to integrate analysis, design and implementation for applications of management information system. Not only object concept is adopted to describe tokens in places, but also class inheritance and composition, user interface and complicate algorithm are represented by expanded transitions. Three kinds of work modes of object management Petri net are introduced to fulfill development, execution, and simulation of the net system.

Download Full-text

Natural User Interface Integrated In Petri Net Educating Environment

Procedia - Social and Behavioral Sciences ◽

10.1016/j.sbspro.2011.11.060 ◽

2011 ◽

Vol 28 ◽

pp. 316-321 ◽

Cited By ~ 1

Author(s):

Katarína Jelemenská ◽

Peter Koine ◽

Ján Turoň ◽

Pavel Čičák

Keyword(s):

User Interface ◽

Petri Net ◽

Natural User Interface

Download Full-text

Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68746-7_27 ◽

2008 ◽

pp. 409-418 ◽

Cited By ~ 2

Author(s):

João Lourenco ◽

Luís Gomes

Keyword(s):

User Interface ◽

Graphical User Interface ◽

Petri Net ◽

Input Output ◽

Output Place

Download Full-text

Enhancing Formal Methods Integration with ACP2Petri

Journal of information and organizational sciences ◽

10.31341/jios.40.2.4 ◽

2016 ◽

Vol 40 (2) ◽

pp. 221-235

Author(s):

Slavomír Šimoňák ◽

Martin Šolc

Keyword(s):

User Interface ◽

Formal Methods ◽

Graphical User Interface ◽

Petri Net ◽

Algebraic Specification ◽

Practical Experiences ◽

Process Algebraic

The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension. Shortcomings and limitations found are described and proposed solutions provided within the paper. Implemented extensions, simplifying the usage of the tool and providing more options for analysis of particular transformation, are also presented. One of the most evident extensions of the tool is its graphical user interface, which allows for convenient management and detailed control over the process of transformation.

Download Full-text

Remote On-Line Control of a High-Voltage in situ Transmission Electron Microscope with A Rational User Interface

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100164386 ◽

1996 ◽

Vol 54 ◽

pp. 384-385

Author(s):

M.A. O’Keefe ◽

J. Taylor ◽

D. Owen ◽

B. Crowley ◽

K.H. Westmacott ◽

...

Keyword(s):

Electron Microscopy ◽

Electron Microscope ◽

User Interface ◽

Transmission Electron Microscope ◽

High Voltage ◽

Materials Science ◽

Transmission Electron ◽

On Line ◽

Electron Microscopes

Remote on-line electron microscopy is rapidly becoming more available as improvements continue to be developed in the software and hardware of interfaces and networks. Scanning electron microscopes have been driven remotely across both wide and local area networks. Initial implementations with transmission electron microscopes have targeted unique facilities like an advanced analytical electron microscope, a biological 3-D IVEM and a HVEM capable of in situ materials science applications. As implementations of on-line transmission electron microscopy become more widespread, it is essential that suitable standards be developed and followed. Two such standards have been proposed for a high-level protocol language for on-line access, and we have proposed a rational graphical user interface. The user interface we present here is based on experience gained with a full-function materials science application providing users of the National Center for Electron Microscopy with remote on-line access to a 1.5MeV Kratos EM-1500 in situ high-voltage transmission electron microscope via existing wide area networks. We have developed and implemented, and are continuing to refine, a set of tools, protocols, and interfaces to run the Kratos EM-1500 on-line for collaborative research. Computer tools for capturing and manipulating real-time video signals are integrated into a standardized user interface that may be used for remote access to any transmission electron microscope equipped with a suitable control computer.

Download Full-text