REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS

Hanife Apaydın Özkan; Aydin Aybar

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS

Topics: Control and Supervision Systems; Petri Nets (System Design/Verification with Nets, Protocols and Networks)

In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, 181-186, 2005 , Barcelona, Spain

Authors: Hanife Apaydın Özkan and Aydin Aybar

Affiliation: Anadolu University, Turkey

Keyword(s): Petri nets, partially reversibility, reversibility, algorithms.

Related Ontology Subjects/Areas/Topics: Control and Supervision Systems ; Formal Methods ; Informatics in Control, Automation and Robotics ; Petri Nets ; Robotics and Automation ; Simulation and Modeling

Abstract: In this paper, partially reversibility property and reversibility enforcement are studied for unbounded Petri nets. A method which tests partial reversibility, and also finds a bound vector guaranting reversibility for unbounded Petri nets is developed and an algorithm of the method is generated. Furthermore a controller design approach which enforces reversibility for unbounded Petri nets is introduced.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.145.110.99

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Apaydın Özkan, H. and Aybar, A. (2005). REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS. In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO; ISBN 972-8865-30-9; ISSN 2184-2809, SciTePress, pages 181-186. DOI: 10.5220/0001180501810186

@conference{icinco05,
author={Hanife {Apaydın Özkan}. and Aydin Aybar.},
title={REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS},
booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO},
year={2005},
pages={181-186},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001180501810186},
isbn={972-8865-30-9},
issn={2184-2809},
}

TY - CONF

JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO
TI - REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS
SN - 972-8865-30-9
IS - 2184-2809
AU - Apaydın Özkan, H.
AU - Aybar, A.
PY - 2005
SP - 181
EP - 186
DO - 10.5220/0001180501810186
PB - SciTePress