Skip to main content
EXTENDED SEARCH
Log in
Top
Published in:
Read chapter Read first chapter

2022 | OriginalPaper | Chapter

47. Space Abstraction and of PetriNets Using the Submarking Method Quasi-home States

Authors : Tomoki Miura , Katsumi Wasaki

Published in: ITNG 2022 19th International Conference on Information Technology-New Generations

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter delves into the application of Petri nets for modeling and verifying the reliability of parallel systems, highlighting the challenges in handling large and complex models. It introduces the Hierarchical Petri net Simulator (HiPS) as a tool to facilitate the descriptiveness and analysis of Petri nets. The main focus is on the submarking method, which compresses the state space by abstracting markings without altering the system's essence. The study defines four submarking methods and demonstrates how to determine quasi-home states, which are crucial for understanding the system's stable states. By abstracting unnecessary information, the submarking method enhances the efficiency of dynamic analysis, offering a significant advancement in the field of Petri net modeling and verification.
AI Generated

This summary of the content was generated with the help of AI.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

  • more than 102.000 books
  • more than 537 journals

from the following subject areas:

  • Automotive
  • Construction + Real Estate
  • Business IT + Informatics
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Finance + Banking
  • Management + Leadership
  • Marketing + Sales
  • Mechanical Engineering + Materials
  • Insurance + Risk


Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

  • more than 67.000 books
  • more than 390 journals

from the following specialised fileds:

  • Automotive
  • Business IT + Informatics
  • Construction + Real Estate
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Mechanical Engineering + Materials





 

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

  • more than 67.000 books
  • more than 340 journals

from the following specialised fileds:

  • Construction + Real Estate
  • Business IT + Informatics
  • Finance + Banking
  • Management + Leadership
  • Marketing + Sales
  • Insurance + Risk



Secure your knowledge advantage now!

inform now
previous chapter Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver
Literature
This content is only visible if you are logged in and have the appropriate permissions.
Metadata
Title
Space Abstraction and of PetriNets Using the Submarking Method Quasi-home States
Authors
Tomoki Miura
Katsumi Wasaki
Copyright Year
2022
Book
ITNG 2022 19th International Conference on Information Technology-New Generations

Print ISBN: 978-3-030-97651-4

Electronic ISBN: 978-3-030-97652-1

Copyright Year: 2022

DOI
https://doi.org/10.1007/978-3-030-97652-1_47

Premium Partner

    Image Credits