Proceedings of IEEE International Conference on Systems, Man and Cybernetics
DOI: 10.1109/icsmc.1994.399914
|View full text |Cite
|
Sign up to set email alerts
|

Petri net synthesis and synchronization using knitting technique

Abstract: Petri net (PN) synthesis can avoid the state exploration problem, which is of exponential complexity, by guaranteeing the correctness in the Petri net while incrementally expanding the net. The conventional Petri net synthesis approaches, in general, suffer the drawback of only being able to synthesize a few classes of nets. However, the knitting technique, originally proposed by Chao [1-4], can synthesize Petri nets beyond assymetricchoice nets. In addition, one major advantage of the knitting technique is th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Publication Types

Select...
3
1
1

Relationship

2
3

Authors

Journals

citations
Cited by 7 publications
(6 citation statements)
references
References 24 publications
0
6
0
Order By: Relevance
“…If we consider each PT-handle in this Z P to be a process, then the processes (called SMEs) in the Z P are mutually sequentialized (originally mutually exclusive) [8] as mentioned in Section 1. Note that there are three SMEs in series in Figure 2; such a structure was not considered in [8,16].…”
Section: Handles Bridges and First-and Second-order Structuresmentioning
confidence: 99%
See 1 more Smart Citation
“…If we consider each PT-handle in this Z P to be a process, then the processes (called SMEs) in the Z P are mutually sequentialized (originally mutually exclusive) [8] as mentioned in Section 1. Note that there are three SMEs in series in Figure 2; such a structure was not considered in [8,16].…”
Section: Handles Bridges and First-and Second-order Structuresmentioning
confidence: 99%
“…Tokens in places with negative y values cause tokens in D to be drained out by firing some t d (see Figure 2). Note that all output transitions of a p d in D must be synchronized by a circuit c [16]. All places in c are in an S-invariant.…”
Section: Extended Synchronized Choice Nets 517mentioning
confidence: 99%
“…New paths are added from ng to nj according to two guidelines: (1) do not disturb the reachable markings of the old net and (2) ensure that the new path is live, bounded, and reversible. Each new path is defined as PSP, where every node (except its two end nodes) has a single input and a single output place.…”
Section: Enhancement Of Synthesis Rule §mentioning
confidence: 99%
“…The synthesized nets, however, are limited in classes because some generations are prohibited [2]. For instance, there are no ordering of firings among a set of transitions that are exclusive to each other.…”
Section: Introductionmentioning
confidence: 99%
“…Therefore, it is desired to have a synthesis approach which provides a set of guidelines for the designer to build a PN. Various synthesis approaches have been proposed: top-down/ bottom-up [8,10,15], peer entity generation [14], and knitting [3][4][5][6][7].…”
Section: Introductionmentioning
confidence: 99%