Task sequence planning in a robot workcell using AND/OR nets [PDF]
An approach to task sequence planning for a generalized robotic manufacturing or material handling workcell is described. Given the descriptions of the objects in this system and all feasible geometric relationships among these objects, an AND/OR net ...
Cao, Tiehua, Sanderson, Arthur C.
core +1 more source
Formal and efficient verification techniques for Real-Time UML models [PDF]
, 2006 The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Courtiat, Jean-Pierre +2 more
core +1 more source
1-Safe Petri nets and special cube complexes: equivalence and applications
, 2019 Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures.
Chalopin, Jérémie, Chepoi, Victor
core +3 more sources
Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm
Моделирование и анализ информационных систем, 2011 The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which ...
D. A. Zaitsev
doaj
A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints
IEEE AccessDeadlocks are of paramount importance in resource allocation systems, which are usually treated from the perspective of discrete event systems. This paper develops a deadlock prevention strategy for a system modeled with Petri nets, by endowing ...
Qianlong Zhai +3 more
doaj +1 more source
Semantic Embedding of Petri Nets into Event-B
, 2005 We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets.
Attiogbe, Christian
core +1 more source
Grammars controlled by petri nets with inhibitor arcs. [PDF]
, 2010 A Petri net controlled grammar is a grammar equipped with a Petri net whose transitions are labeled with production rules of the grammar, and the associated language consists of all terminal strings which can be derived in the grammar and the sequence of
Selamat, Mohd Hasan, Turaev, Sherzod
core
Aplikasi Petri Net pada Sistem Pelayanan Pasien Rawat Jalan Peserta Askes di Rumah Sakit Umum Daerah Dr. Haulussy Ambon [PDF]
, 2013 Salah satu bentuk pelayanan dalam masyarakat adalah pelayanan kesehatan. Contoh pelayanan kesehatan dalam masyarakat adalah pelayanan rawat jalan pada rumah sakit khusus untuk pasien peserta Askes.
Lesnussa, Y. A. (Yopi) +1 more
core
Dynamic modeling of web purchase behavior and e-mailing impact by Petri net [PDF]
In this article, the authors introduce Petri nets to model the dynamics of web site visits and purchase behaviors in the case of wish list systems.
BALAGUE, Christine, LEE, Janghyuk
core
Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets
, 2013 Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have ...
Husainov, Ahmet A.
core