COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS.

Toshio Matsuura, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami

Research output: Contribution to journalArticle

Abstract

The decision problem is shown, given two sets of firing sequences by safe petri nets (sets of t-nodes sequences but each of t-nodes has a different name) and for simplification of safe Petri nets. In order to resolve the decision problems for equivalence and simplification of the set of labeled sequences corresponding firing sequences for the labeled safe Petri net with label of each t-nodes (there may be same labels in different t-nodes), it is shown that they all require a given Petri net exponential space in the size of the net (sum of nodes and arcs) for the given petri net.

Original languageEnglish
Pages (from-to)75-82
Number of pages8
JournalSYST COMPUT CONTROLS
Volume11
Issue number3
Publication statusPublished - May 1980
Externally publishedYes

Fingerprint

Petri nets
Labels

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Matsuura, T., Sugiyama, Y., Taniguchi, K., & Kasami, T. (1980). COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS. SYST COMPUT CONTROLS, 11(3), 75-82.

COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS. / Matsuura, Toshio; Sugiyama, Yuji; Taniguchi, Kenichi; Kasami, Tadao.

In: SYST COMPUT CONTROLS, Vol. 11, No. 3, 05.1980, p. 75-82.

Research output: Contribution to journalArticle

Matsuura, T, Sugiyama, Y, Taniguchi, K & Kasami, T 1980, 'COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS.', SYST COMPUT CONTROLS, vol. 11, no. 3, pp. 75-82.
Matsuura, Toshio ; Sugiyama, Yuji ; Taniguchi, Kenichi ; Kasami, Tadao. / COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS. In: SYST COMPUT CONTROLS. 1980 ; Vol. 11, No. 3. pp. 75-82.
@article{2b80e47af97d40e19668e5bdca374e85,
title = "COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS.",
abstract = "The decision problem is shown, given two sets of firing sequences by safe petri nets (sets of t-nodes sequences but each of t-nodes has a different name) and for simplification of safe Petri nets. In order to resolve the decision problems for equivalence and simplification of the set of labeled sequences corresponding firing sequences for the labeled safe Petri net with label of each t-nodes (there may be same labels in different t-nodes), it is shown that they all require a given Petri net exponential space in the size of the net (sum of nodes and arcs) for the given petri net.",
author = "Toshio Matsuura and Yuji Sugiyama and Kenichi Taniguchi and Tadao Kasami",
year = "1980",
month = "5",
language = "English",
volume = "11",
pages = "75--82",
journal = "Systems, computers, controls",
issn = "0096-8765",
publisher = "Scripta Pub Co.",
number = "3",

}

TY - JOUR

T1 - COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS.

AU - Matsuura, Toshio

AU - Sugiyama, Yuji

AU - Taniguchi, Kenichi

AU - Kasami, Tadao

PY - 1980/5

Y1 - 1980/5

N2 - The decision problem is shown, given two sets of firing sequences by safe petri nets (sets of t-nodes sequences but each of t-nodes has a different name) and for simplification of safe Petri nets. In order to resolve the decision problems for equivalence and simplification of the set of labeled sequences corresponding firing sequences for the labeled safe Petri net with label of each t-nodes (there may be same labels in different t-nodes), it is shown that they all require a given Petri net exponential space in the size of the net (sum of nodes and arcs) for the given petri net.

AB - The decision problem is shown, given two sets of firing sequences by safe petri nets (sets of t-nodes sequences but each of t-nodes has a different name) and for simplification of safe Petri nets. In order to resolve the decision problems for equivalence and simplification of the set of labeled sequences corresponding firing sequences for the labeled safe Petri net with label of each t-nodes (there may be same labels in different t-nodes), it is shown that they all require a given Petri net exponential space in the size of the net (sum of nodes and arcs) for the given petri net.

UR - http://www.scopus.com/inward/record.url?scp=0019010013&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0019010013&partnerID=8YFLogxK

M3 - Article

VL - 11

SP - 75

EP - 82

JO - Systems, computers, controls

JF - Systems, computers, controls

SN - 0096-8765

IS - 3

ER -