loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yojiro Harie and Katsumi Wasaki

Affiliation: Shinshu University, Japan

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).

CC BY-NC-ND 4.0

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 44.213.80.174

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 - SIMULTECH; ISBN 978-989-758-265-3; ISSN 2184-2841, SciTePress, 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 - SIMULTECH},
year={2017},
pages={356-361},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006463803560361},
isbn={978-989-758-265-3},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - 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
IS - 2184-2841
AU - Harie, Y.
AU - Wasaki, K.
PY - 2017
SP - 356
EP - 361
DO - 10.5220/0006463803560361
PB - SciTePress