2012
DOI: 10.1007/978-3-642-34732-0_13
|View full text |Cite
|
Sign up to set email alerts
|

Rectangular Arrays and Petri Nets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
9
0

Year Published

2013
2013
2023
2023

Publication Types

Select...
5
3

Relationship

3
5

Authors

Journals

citations
Cited by 16 publications
(9 citation statements)
references
References 9 publications
0
9
0
Order By: Relevance
“…[3,5] An Array Token Petri net Structure (ATPNS) is a five tuple N = (Σ, C, M 0 , σ, F) where Σ is a given alphabet, C = (P, T, I, O) is a Petri net structure with Arrays of Σ** in certain places of P as initial markings, M 0 : P → Σ**, σ: T →L a mapping on the set of transitions to the set of labels and a finite set of final places F P.…”
Section: Petri Net Model Generating Array Passwordsmentioning
confidence: 98%
See 2 more Smart Citations
“…[3,5] An Array Token Petri net Structure (ATPNS) is a five tuple N = (Σ, C, M 0 , σ, F) where Σ is a given alphabet, C = (P, T, I, O) is a Petri net structure with Arrays of Σ** in certain places of P as initial markings, M 0 : P → Σ**, σ: T →L a mapping on the set of transitions to the set of labels and a finite set of final places F P.…”
Section: Petri Net Model Generating Array Passwordsmentioning
confidence: 98%
“…3.1 Definition: Petri net [3,5] A Petri net structure is a four tuple C = (P, T, I, O) where P = {p 1 , p 2 ,....., p n } is a finite set of places, n ≥ 0, T = {t 1 , t 2 ,…, t m } is a finite set of transitions m ≥ 0, P∩T= Ø, I: T→P∞ is the input function from transitions to bags of places and O: T→P∞ is the output function from transitions to bags of places. [3,5] An Array Token Petri net Structure (ATPNS) is a five tuple N = (Σ, C, M 0 , σ, F) where Σ is a given alphabet, C = (P, T, I, O) is a Petri net structure with Arrays of Σ** in certain places of P as initial markings, M 0 : P → Σ**, σ: T →L a mapping on the set of transitions to the set of labels and a finite set of final places F P.…”
Section: Petri Net Model Generating Array Passwordsmentioning
confidence: 99%
See 1 more Smart Citation
“…With the purpose of gaining more generative power, we now consider an AHPN model along with a control feature, called inhibitor arcs like in [8], comparing it with some expressive hexagonal picture generating and recognizing models.…”
Section: Introductionmentioning
confidence: 99%
“…Recently another picture generating mechanism, Array Token Petri Net Structure (ATPNS) [4] has been evolved from string generating Petri nets [1,2,6]. Petri net [1,6] is one of the formal models used for analyzing system that are concurrent, distributed and parallel.…”
Section: Introductionmentioning
confidence: 99%