loading
Documents

Research.Publish.Connect.

Paper

Authors: Yojiro Harie and Katsumi Wasaki

Affiliation: Shinshu University, Japan

ISBN: 978-989-758-265-3

Keyword(s): Petri Nets, HiPS, Hierarchical Modeling, Property Analysis, Event based Verification.

Related Ontology Subjects/Areas/Topics: Discrete-Event Simulation ; Formal Methods ; Petri Nets ; Simulation and Modeling

Abstract: This paper introduces the Hierarchical Petri net Simulator (HiPS), a Petri net design tool implemented using C# and C++, the .NET Framework, and an interprocess communication channel. HiPS supports hierarchical modeling and can analyze the dynamic and structural properties of a Petri net by generating state spaces. The state space generation engine in HiPS provides a memory-saving technique and high-speed execution. We have devised an Extended Coverability Graph (ECG) mechanism for liveness and persistence properties to accurately maintain transition information. In this paper, we extend HiPS to include a liveness analyzer that utilizes the ECG mechanism and an on-the-fly model checker for event-based systems. We also describe an algorithm that generates state spaces by multi-threading. Furthermore, we propose priority firing estimation with on-the-fly model checking for Linear Temporal Logic (LTL).

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
Harie Y. and Wasaki K. (2017). Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets.In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-265-3, pages 356-361. DOI: 10.5220/0006463803560361

@conference{simultech17,
author={Yojiro Harie and Katsumi Wasaki},
title={Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets},
booktitle={Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2017},
pages={356-361},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006463803560361},
isbn={978-989-758-265-3},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
SN - 978-989-758-265-3
AU - Harie Y.
AU - Wasaki K.
PY - 2017
SP - 356
EP - 361
DO - 10.5220/0006463803560361

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.