Results 151 to 160 of about 1,192,885 (178)
Some of the next articles are maybe not open access.

PN PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets

International Journal of Production Research, 1997
Flexible manufacturing cells (FMCs) are well established as a means of improving manufacturing efficiency in many batch production industries. They consist of an integrated group of computer numerically controlled (CNC) machine tools, programmable logic controller (PLC) based work/tool handling equipment and a control system to synchronize their ...
A. Taholakian, W.M.M. Hales
openaire   +1 more source

Hajime Worm with Lifespan and Its Mitigation Evaluation Against Mirai Malware Based on Agent-Oriented Petri Net PN2

2019 IEEE International Conference on Consumer Electronics (ICCE), 2019
This paper proposed to introduce lifespan to IoT worm called Hajime. Hajime worm is regarded as a method to mitigate IoT malware like Mirai malware, but it is said to be in a gray area because it keeps a remote control mechanism. A Hajime worm with a lifespan destructs itself when exhausting the lifespan. Using agent-oriented Petri net PN2, we analyzed
Shingo Yamaguchi 0001   +1 more
openaire   +1 more source

The Research of Loyalty Model Based on the PN (Petri Net) Algorithm

Applied Mechanics and Materials, 2014
In this paper, the loyalty model has been established based on Petri Net (PN) technology. Then, combining with the Petri Net Algorithm of the loyalty model we elaborated the important value of loyalty to the enterprises, and some of the ways to improve loyalty have been put forward.
openaire   +1 more source

OB(PN)2: An Object Based Petri Net Programming Notation

2001
In this paper we present the object-based language OB(PN)2, together with its semantics, defined as a translation into a class of highlevel Petri nets. This translation defines the semantics of a OB(PN)2 program as a net, which can be analyzed using existing reachability analysis tools.
openaire   +1 more source

Modeling and Evaluation of IoT Worm with Lifespan and Secondary Infectivity by Agent-Oriented Petri Net PN2

2019 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW), 2019
In this paper, we proposed to extend IoT worm called Hajime that fights against IoT malware called Mirai by introducing lifespan and secondary infectivity (the ability to infect a device infected by Mirai). We first proposed a method for modeling the extended Hajime by agent-oriented Petri nets called PN2.
openaire   +2 more sources

Modeling of Infection Phenomenon and Evaluation of Mitigation Methods for IoT Malware Mirai by Agent-Oriented Petri Net PN2

2018 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 2018
Shingo Yamaguchi, Hiroaki Tanaka
openaire   +1 more source

Feedback control of petri nets based on place invariants

Automatica, 1996
Panos Antsaklis, Michael D Lemmon
exaly  

Petri net ontology

Knowledge-Based Systems, 2006
Vladan Devedzic
exaly  

Home - About - Disclaimer - Privacy