Results 261 to 270 of about 22,275 (307)

Time Arc Petri Nets and Their Analysis

2009 Ninth International Conference on Application of Concurrency to System Design, 2009
We propose to extend time arc Petri nets by associating with each transition a strong or a weak firing semantics. The proposed model includes the semantics of existing time Petri nets where time intervals are associated with places, transitions and arcs in their weak and strong semantics.
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux   +2 more
openaire   +1 more source

Properties of Distributed Timed-Arc Petri Nets [PDF]

, 2001
In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. This formalism enables to model e.g. hardware architectures like GALS.
Nielsen, M., Sassone, V., Srba, J.
openaire   +2 more sources

Investigation on change laws of arc burning time of the arc plasma

2009 IEEE Conference on Electrical Insulation and Dielectric Phenomena, 2009
Arc burning time is the time interval from arc burning until arc quenching, which is one of the main symbol parameters of the arc plasma characteristic. As the length of arc burning time can do great influence on the arc energy and the two-phase change process of the break arc directly, it is significant for us to do some researches on its influence ...
Zang Chunyan, He Junjia, Huang Weichao, Zhou Wei, Wang Lizhong, Liu Chengyan   +5 more
openaire   +1 more source

Just for fun: from arc to time and time to arc

The Arithmetic Teacher, 1967
Some units in the arithmetic, social studies, and science curriculum areas present concepts of meridians and parallels, rotation and revolution, and differences in time zones around the globe. Learning about time zones can be a frustrating experience both for teachers and children unless concepts of arc and time are thoroughly understood.
openaire   +1 more source

Soundness of Timed-Arc Workflow Nets

2014
Analysis of workflow processes with quantitative aspects like timing is of interest in numerous time-critical applications. We suggest a workflow model based on timed-arc Petri nets and study the foundational problems of soundness and strong (time-bounded) soundness.
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen   +2 more
openaire   +2 more sources

The linear time recognition of digital arcs

Pattern Recognition Letters, 1995
Summary: We present a linear-time algorithm for recognizing digitized circular arcs, by a reduction to linear programming in fixed dimensions. This generalizes the known results for both digital line segments and complete circles. Moreover, our idea is flexible enough to admit further extensions, such as recognizing disconnected subsets of digital ...
openaire   +2 more sources

Verification of Timed-Arc Petri Nets

2011
Timed-Arc Petri Nets (TAPN) are an extension of the classical P/T nets with continuous time. Tokens in TAPN carry an age and arcs between places and transitions are labelled with time intervals restricting the age of tokens available for transition firing.
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba   +3 more
openaire   +1 more source

Linear time algorithms on circular-arc graphs

Information Processing Letters, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wen-Lian Hsu, Kuo-Hui Tsai
openaire   +1 more source

Timed Arc Petri Nets: The Impulsive Approach

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), 2018
In this work, a new graphical and mathematical model is presented as a new approach for Deterministic Timed Arc Petri Net. In the proposed Timed Arc Petri Net, time is associated with arcs in transition firing process. In the graphical model, a new triangular graphical element, namely time element is used.
Alpaslan Yufka, Hanife Apaydin Özkan, Aydin Aybar   +2 more
openaire   +1 more source

Possibilities of influencing vacuum arc evaporation by time-dependent arc current

Surface and Coatings Technology, 1995
Abstract This paper describes a new “modified pulse arc evaporation process” which represents a combination of both d.c. and pulse cathodic arcs. The aim is to give a comparative overall view. The paper reports on measurements of spot movement on the target, arc voltage response and ion current under different electric conditions, such as current ...
M. Ellrodt, H. Mecke
openaire   +1 more source