Results 31 to 40 of about 145,352 (236)
IEEE Access, 2020 Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and
Xuhong Ye +4 more
doaj +1 more source
A Method of Sample Models of Program Construction in Terms of Petri Nets
Моделирование и анализ информационных систем, 2015 In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov +3 more
doaj +1 more source
Mathematics base for navigation mobile robot using reachability petri net [PDF]
, 2018 Navigation is the journey that brings the precision and accuracy especially for the trip from one place to many destinations. Traveling mobile robot will be challenged when there are plenty of travel options and obstacles; it is necessary for special ...
Basil David Daniel, Basil David Daniel +4 more
core +1 more source
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
South African Journal of Industrial Engineering, 2019 Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs.
Kaid, Husam +4 more
doaj +1 more source
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
A new approach for diagnosability analysis of Petri nets using Verifier Nets [PDF]
, 2012 In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger ...
Cabasino MP +3 more
core +2 more sources
Unfolding-Based Process Discovery [PDF]
, 2015 This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities ...
A Adriansyah +15 more
core +3 more sources
Axiomatizing Petri Net Concatenable Processes [PDF]
, 1995 The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core +2 more sources
, 1987 Determining whether two Petri nets are equivalent is an interesting problem from both practical and theoretical standpoints. Although it is undecidable in the general case, for many interesting nets the equivalence problem is solvable.
Sidwell, Richard D.
core +1 more source
Behavior modeling method for functional verification of product considering ways of usage
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2017 Recent industrial globalization has increased importance of functional verification in product design considering various ways of usage. In particular, for shortening development time, it is desired to perform functional verification and necessary ...
Eiji MORINAGA +3 more
doaj +1 more source