Implementing Timed Petri Net in Security Information Systems

2007 Thirty-Ninth Southeastern Symposium on System Theory ◽

10.1109/ssst.2007.352351 ◽

2007 ◽

Author(s):

Hubert H. Chin ◽

Chu-Feng Huang ◽

Ayat A. Jafari

Keyword(s):

Information Systems ◽

Petri Net ◽

Timed Petri Net ◽

Security Information

Download Full-text

A timed Petri net approach for verification of Territorial Healthcare Information Systems

2016 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2016.7743465 ◽

2016 ◽

Author(s):

Sabri Hamana ◽

Vincent Augusto ◽

Xiaolan Xie

Keyword(s):

Information Systems ◽

Petri Net ◽

Healthcare Information ◽

Healthcare Information Systems ◽

Timed Petri Net

Download Full-text

The derivation of performance expressions for communication protocols from timed petri net models

ACM SIGCOMM Computer Communication Review ◽

10.1145/639624.802080 ◽

1984 ◽

Vol 14 (2) ◽

pp. 210-217 ◽

Author(s):

Rami R. Razouk

Keyword(s):

Petri Net ◽

Communication Protocols ◽

Timed Petri Net

Download Full-text

The International Conference on Emerging Security Information, Systems, and Technologies - Cover

The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) ◽

10.1109/secureware.2007.4385295 ◽

2007 ◽

Keyword(s):

Information Systems ◽

International Conference ◽

Security Information

Download Full-text

Timed Petri net representation of the Synchronized Multimedia Integration Language (SMIL) of XML

Proceedings ITCC 2003. International Conference on Information Technology: Coding and Computing ◽

10.1109/itcc.2003.1197618 ◽

2004 ◽

Author(s):

S.M. Chung ◽

A.L. Pereira

Keyword(s):

Petri Net ◽

Timed Petri Net ◽

Multimedia Integration

Download Full-text

Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 ◽

10.1109/pnpm.1991.238784 ◽

2002 ◽

Author(s):

G. Juanole ◽

Y. Atamna

Keyword(s):

Petri Net ◽

Queueing Systems ◽

Model Application ◽

Timed Petri Net ◽

Download Full-text

Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach

Journal of Software Evolution and Process ◽

10.1002/smr.2412 ◽

2021 ◽

Author(s):

Tanuja Shailesh ◽

Ashalatha Nayak ◽

Devi Prasad

Keyword(s):

Petri Net ◽

Sequence Diagram ◽

Timed Petri Net ◽

Transformation Language

Download Full-text

PERFORMANCE EVALUATION OF A CONTROLLED FLOW-SHOP SYSTEM WITH A TIMED PETRI NET MODEL

Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics ◽

10.5220/0001206704940499 ◽

2006 ◽

Keyword(s):

Performance Evaluation ◽

Petri Net ◽

Flow Shop ◽

Timed Petri Net ◽

Controlled Flow

Download Full-text

Colored timed Petri net based statistical process control and fault diagnosis to flexible manufacturing systems

Proceedings of International Conference on Robotics and Automation ◽

10.1109/robot.1997.606701 ◽

2002 ◽

Author(s):

Chung-Hseng Kuo ◽

Han-Pang Huang

Keyword(s):

Fault Diagnosis ◽

Process Control ◽

Statistical Process Control ◽

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Statistical Process ◽

Timed Petri Net

Download Full-text

Motion planning for humanoid robots using timed Petri net and modular state net

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1175609 ◽

2003 ◽

Author(s):

K. Kobayashi ◽

A. Nakatani ◽

H. Takahashi ◽

T. Ushio

Keyword(s):

Motion Planning ◽

Petri Net ◽

Humanoid Robots ◽

Timed Petri Net

Download Full-text

Modelling Communications in the Fieldbus FIP (Factory Instrumentation Protocol) with the Stochastic Timed Petri Net (STPN) Model

IEEE International Workshop on Emerging Technologies and Factory Automation, ◽

10.1109/etfa.1992.683276 ◽

1992 ◽

Author(s):

G. Juanole ◽

Y. Atamma

Keyword(s):

Petri Net ◽

Timed Petri Net

Download Full-text