Consistency of User Interface Based on Petri-Net

Author(s):  
Haibo Li ◽  
Dechen Zhan
Keyword(s):  
2014 ◽  
Vol 519-520 ◽  
pp. 339-342
Author(s):  
Jian Hua Yang

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.


2011 ◽  
Vol 28 ◽  
pp. 316-321 ◽  
Author(s):  
Katarína Jelemenská ◽  
Peter Koine ◽  
Ján Turoň ◽  
Pavel Čičák

2016 ◽  
Vol 40 (2) ◽  
pp. 221-235
Author(s):  
Slavomír Šimoňák ◽  
Martin Šolc

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.


Author(s):  
M.A. O’Keefe ◽  
J. Taylor ◽  
D. Owen ◽  
B. Crowley ◽  
K.H. Westmacott ◽  
...  

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.


2004 ◽  
Author(s):  
Brian Dorn ◽  
Daniel Zelik ◽  
Harisudhakar Vepadharmalingam ◽  
Mayukh Ghosh ◽  
S. Keith Adams
Keyword(s):  

2010 ◽  
Author(s):  
Martin L. Fracker ◽  
Michal Heck ◽  
George Goeschel

Sign in / Sign up

Export Citation Format

Share Document