Abstract
The home state is a property of Petri nets. The home state is a state that can be returned to from all markings, and is the stable state in the system. In this study, we define a quasi-home state as a state in which the conditions of the home state are relaxed. The quasi-home state is the home state in submarkings, which are abstracted markings. The submarking method can compress the state space while giving meaning to the marking. In this study, we defined four submarking methods. The user specifies the place to be abstracted and the submarking method, and submarking is obtained. The home state is obtained through the submarking’s dynamic analysis. This study aims to improve the net analysis’ efficiency using the submarking method to determine the quasi-home state.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
T. Murata, Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
C.A. Petri, W. Reisig, Petri net. Scholarpedia 3(4), 6477 (2008)
HiPS: Hierarchical Petri net Simulator, Shinshu University. Available at https://sourceforge.net/projects/hips-tools/
Y. Harie, K. Wasaki, A Petri Net design and verification platform based on the scalable and parallel architecture: HiPS, in Proceedings of the 14th International Conference on Information Technology – New Generations (ITNG2017), Advances in Intelligent Systems and Computing, vol. 558 (Springer, 2017), pp. 265–273
Y. Harie, Y. Mitsui, K. Fujimori, A. Batajoo, K. Wasaki, HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool, in Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), pp. 686–690
R.M. Karp, R.E. Miller, Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)
Y. Mitsui, Y. Harie, K. Wasaki, Implementation of L2/L3-liveness analyzer using the extended coverability graph to Petri Net Tool: HiPS, in Proceedings of the 16th IPSJ Forum on Information Technology Conference (FIT 2017), pp. 91–94
Acknowledgment
This work was supported by JSPS KAKENHI Grant Number 19K11821.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Miura , T., Wasaki, K. (2022). Space Abstraction and of PetriNets Using the Submarking Method Quasi-home States. In: Latifi, S. (eds) ITNG 2022 19th International Conference on Information Technology-New Generations. Advances in Intelligent Systems and Computing, vol 1421. Springer, Cham. https://doi.org/10.1007/978-3-030-97652-1_47
Download citation
DOI: https://doi.org/10.1007/978-3-030-97652-1_47
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-97651-4
Online ISBN: 978-3-030-97652-1
eBook Packages: EngineeringEngineering (R0)