A Formal Design of Automation Systems Based on Operation Modes Using High-level Petri Net

2010 Second International Conference on Advances in Computing, Control, and Telecommunication Technologies ◽

10.1109/act.2010.18 ◽

2010 ◽

Author(s):

Seno Darmawan Panjaitan

Keyword(s):

Petri Net ◽

Operation Modes ◽

Automation Systems ◽

Download Full-text

A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach

Lecture Notes in Computer Science - Computational Science – ICCS 2005 ◽

10.1007/11428831_105 ◽

2005 ◽

pp. 843-851 ◽

Author(s):

Gonca Tuncel ◽

Gunhan Mirac Bayhan

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Real Time Scheduling ◽

Time Scheduling ◽

Object Oriented Approach ◽

And Control ◽

Oriented Approach

Download Full-text

A formal design in the generation of an array PIN using a Petri net model and implementation for secure transactions

International Journal of Intelligent Enterprise ◽

10.1504/ijie.2022.10042588 ◽

2022 ◽

Vol 9 (1) ◽

pp. 116

Author(s):

A. Christy ◽

S. Vaithyasubramanian ◽

D. Lalitha

Keyword(s):

Petri Net ◽

Download Full-text

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations

Lecture Notes in Computer Science - Applications and Theory of Petri Nets 2004 ◽

10.1007/978-3-540-27793-4_25 ◽

2004 ◽

pp. 435-453 ◽

Author(s):

Dong-Hoon Yoo ◽

Dong-Ik Lee ◽

Jeong-A Lee

Keyword(s):

High Level Synthesis ◽

Asynchronous Systems ◽

Design Representation ◽

System A ◽

Representation Model ◽

Download Full-text

High-Level Video Event Modeling, Recognition, and Reasoning via Petri Net

IEEE Access ◽

10.1109/access.2019.2936493 ◽

2019 ◽

Vol 7 ◽

pp. 129376-129386 ◽

Author(s):

Zhijiao Xiao ◽

Jianmin Jiang ◽

Zhong Ming

Keyword(s):

Petri Net ◽

Event Modeling ◽

Video Event ◽

Download Full-text

A high level Petri net model of olfactory bulb

IEEE International Conference on Neural Networks ◽

10.1109/icnn.1993.298652 ◽

2002 ◽

Author(s):

K. Venkatesh ◽

O. Masory

Keyword(s):

Olfactory Bulb ◽

Petri Net ◽

Download Full-text

A Petri Net formal design methodology for discrete-event control of industrial automated systems

2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel ◽

10.1109/eeei.2010.5662187 ◽

2010 ◽

Author(s):

Sammy Korotkin ◽

Guy Zaidner ◽

Benny Cohen ◽

Amir Ellenbogen ◽

Meir Arad ◽

...

Keyword(s):

Petri Net ◽

Design Methodology ◽

Discrete Event ◽

Automated Systems ◽

Discrete Event Control ◽

Download Full-text

OPERATION MODES HANDLING IN DISTRIBUTED AUTOMATION SYSTEMS

IFAC Proceedings Volumes ◽

10.3182/20070613-3-fr-4909.00021 ◽

2007 ◽

Vol 40 (6) ◽

pp. 109-114 ◽

Author(s):

Seno Panjaitan ◽

Georg Frey

Keyword(s):

Operation Modes ◽

Automation Systems

Download Full-text

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21834-7_19 ◽

2011 ◽

pp. 328-337 ◽

Author(s):

Michael Westergaard

Keyword(s):

Petri Net ◽

Coloured Petri Net ◽

Download Full-text

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach

Lecture Notes in Computer Science - Business Process Management ◽

10.1007/978-3-319-23063-4_4 ◽

2015 ◽

pp. 55-71 ◽

Author(s):

Ahmed Kheldoun ◽

Kamel Barkaoui ◽

Malika Ioualalen

Keyword(s):

Petri Net ◽

Business Processes ◽

Specification And Verification ◽

Download Full-text

High Level Petri Net Modelling and Analysis of Flexible Web Services Composition

Software Engineering Research, Management and Applications - Studies in Computational Intelligence ◽

10.1007/978-3-319-33903-0_12 ◽

2016 ◽

pp. 163-180 ◽

Author(s):

Ahmed Kheldoun ◽

Kamel Barkaoui ◽

Malika Ioualalen ◽

Djaouida Dahmani

Keyword(s):

Web Services ◽

Petri Net ◽

Web Services Composition ◽

Services Composition ◽

Download Full-text