Skip to main content

Advanced Search

Projected result for your current search: 0

Search Operators:

You can use operators in your search query to narrow down your results even more. Click on the search operator to see an explanation of how it works.
Finds documents with exactly this word group, in exactly this word order and spelling (e.g. "employer branding").
Finds documents with both search terms (e.g. sales AND bonus).
Finds documents with one or the other search term (e.g. porsche OR volkswagen).
Finds documents with all search terms. Blank space is understood as AND (e.g. man robot production).
Finds documents with no appearance of the word behind NOT (e.g. ford NOT "harrison ford").
Finds documents where the search term is mentioned at least "n" times."n" may be any number (e.g. COUNT(gear)>8).
Finds documents with both search terms in any word order, permitting "n" words as a maximum distance between them. Best choose between 15 and 30 (e.g. NEAR(recruit, professionals, 20)).
Finds documents with the search term in word versions or composites. The asterisk * marks whether you wish them BEFORE, BEHIND, or BEFORE and BEHIND the search term (e.g. lightweight*, *lightweight, *lightweight*).
Finds documents with the search term in different spellings. "?" allows only one character (e.g. organi?ation).
Special characters are understood as AND (e.g. Miller Bros. & Sons).

Semantic Search

powered by (Link opens in a new window)
loading …
Log in
Top

Spatial Specification of Grid Structures by Petri Nets

  • 2021
  • OriginalPaper
  • Chapter
Published in:
Authors
Dmitry A. Zaitsev
Tatiana R. Shmeleva
Werner Retschitzegger
Published in
Micro-Electronics and Telecommunication Engineering
Publisher
Springer Singapore

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

search-config
loading …

Abstract

The chapter delves into the spatial specification of grid structures using Petri nets, focusing on two primary approaches: parametric expressions (PE) and colored Petri nets (CPN). It compares the advantages and deficiencies of both methods, demonstrating their complementary nature in specifying spatial structures of Petri net models. The study includes detailed transformations of PEs and CPNs into place/transition nets (P/T-nets) and explores the application of these transformations in the context of grid computing and systems biology. Notably, the chapter generalizes the results for 2-dimensional cases to transformations of hypertorus specifications in d-dimensional lattices. The work concludes by suggesting future research directions, including the study of transformation rules for subclasses of colored Petri nets and the development of formal methods for solving infinite Diophantine systems.
AI Generated

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

Please log in to get access to your license.

Log in Register for free

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 FPGA Based Implementation of Hamming Encoder and Decoder
next chapter Enhanced Spanning-Tree Adder Structures Using Carry Increment Adders
Title
Spatial Specification of Grid Structures by Petri Nets
Authors
Dmitry A. Zaitsev
Tatiana R. Shmeleva
Werner Retschitzegger
Copyright Year
2021
Publisher
Springer Singapore
Book
Micro-Electronics and Telecommunication Engineering

Print ISBN: 978-981-334-686-4

Electronic ISBN: 978-981-334-687-1

Copyright Year: 2021

DOI
https://doi.org/10.1007/978-981-33-4687-1_25
This content is only visible if you are logged in and have the appropriate permissions.