IEICE Trans

Keyword : Petri net

Analysis of Option to Complete, Proper Completion and No Dead Tasks for Acyclic Free Choice Workflow Nets Shingo YAMAGUCHI
Publication: Publication Date: 2019/02/01 Vol. E102-A No. 2 ; pp. 336-342 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, soundness, liveness, boundedness,
	Summary \| Full Text:PDF(687.4KB)

A Petri Net Approach to Generate Integer Linear Programming Problems Morikazu NAKAMURA Takeshi TENGAN Takeo YOSHIDA
Publication: Publication Date: 2019/02/01 Vol. E102-A No. 2 ; pp. 389-398 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: mathematical programming, integer linear programming, Petri net, colored timed Petri net, autonomous Petri net,
	Summary \| Full Text:PDF(1.3MB)

Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets Muhammad Syafiq BIN AB MALEK Mohd Anuaruddin BIN AHMADON Shingo YAMAGUCHI
Publication: Publication Date: 2018/06/01 Vol. E101-D No. 6 ; pp. 1503-1510 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: the response property, Petri net, process tree, computational complexity, polynomial time algorithm,
	Summary \| Full Text:PDF(609.5KB)

Structural and Behavioral Properties of Well-Structured Workflow Nets Zhaolong GOU Shingo YAMAGUCHI
Publication: Publication Date: 2017/02/01 Vol. E100-A No. 2 ; pp. 421-426 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, well-structured, soundness, reachability, separability,
	Summary \| Full Text:PDF(721.3KB)

Superclass Extraction Problem of Workflow Nets and a Solution Procedure Based on Process Mining Technique Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/09/01 Vol. E99-A No. 9 ; pp. 1700-1707 Type of Manuscript: PAPER Category: Mathematical Systems Science Keyword: Petri net, workflow net, superclass, behavioral inheritance, process mining,
	Summary \| Full Text:PDF(764.4KB)

Properties and Decision Procedure for Bridge-Less Workflow Nets Shingo YAMAGUCHI Mohd Anuaruddin BIN AHMADON
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/02/01 Vol. E99-A No. 2 ; pp. 509-512 Type of Manuscript: Special Section LETTER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, bridge-less, necessary and sufficient condition, polynomial-time procedure,
	Summary \| Full Text:PDF(384.6KB)

State Number Calculation Problem of Workflow Nets Mohd Anuaruddin BIN AHMADON Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-D No. 6 ; pp. 1128-1136 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Petri net Keyword: Petri net, state number calculation problem, process tree, solvability, computational complexity, model checking,
	Summary \| Full Text:PDF(1.1MB)

Protocol Inheritance Preserving Soundizability Problem and Its Polynomial Time Procedure for Acyclic Free Choice Workflow Nets Shingo YAMAGUCHI Huan WU
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-D No. 5 ; pp. 1181-1187 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Construction Keyword: workflow net, Petri net, behavioral inheritance, soundness, soundizability, polynomial time procedure,
	Summary \| Full Text:PDF(595.5KB)

Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/02/01 Vol. E97-A No. 2 ; pp. 468-475 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, reachability, extended free-choice, well-structured, polynomial time algorithm,
	Summary \| Full Text:PDF(605.8KB)

Verifying Structurally Weakly Persistent Net Is Co-NP Complete Atsushi OHTA Kohkichi TSUJI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/12/01 Vol. E94-A No. 12 ; pp. 2832-2835 Type of Manuscript: Special Section LETTER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: concurrent system, Petri net, subclass, computational complexity,
	Summary \| Full Text:PDF(139.6KB)

Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information Yoshimasa MIWA Yuki MURAKAMI Qi-Wei GE Chen LI Hiroshi MATSUNO Satoru MIYANO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/12/01 Vol. E93-A No. 12 ; pp. 2717-2729 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: Petri net, signaling pathway, firing delay time, stochastic decision rule, conflict resolution,
	Summary \| Full Text:PDF(2.1MB)

Computational Complexity of Liveness Problem of Normal Petri Net Atsushi OHTA Kohkichi TSUJI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/11/01 Vol. E92-A No. 11 ; pp. 2717-2722 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: concurrent system, Petri net, liveness, computational complexity,
	Summary \| Full Text:PDF(173.5KB)

WF-Net Based Modeling and Soundness Verification of Interworkflows Shingo YAMAGUCHI Hajime MATSUO Qi-Wei GE Minoru TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/04/01 Vol. E90-A No. 4 ; pp. 829-835 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: interworkflow, interoperability, workflow net, Petri net, soundness,
	Summary \| Full Text:PDF(402.7KB)

Petri Net Based Descriptions for Systematic Understanding of Biological Pathways Hiroshi MATSUNO Chen LI Satoru MIYANO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-A No. 11 ; pp. 3166-3174 Type of Manuscript: INVITED SURVEY PAPER Category: Keyword: Petri net, systems biology, biological pathways, modeling, simulation,
	Summary \| Full Text:PDF(729.4KB)

Evolutionary Computing of Petri Net Structure for Cyclic Job Shop Scheduling Morikazu NAKAMURA Koji HACHIMAN Hiroki TOHME Takeo OKAZAKI Shiro TAMAKI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-A No. 11 ; pp. 3235-3243 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Concurrent Systems Keyword: Petri net, evolutionary computation, Job Shop Scheduling, Cyclic Job Shop Scheduling, mark graph,
	Summary \| Full Text:PDF(560.8KB)

Integration between Scheduling and Design of Batch Systems Based on Petri Net Models Takashi ITO Susumu HASHIZUME Tomoyuki YAJIMA Katsuaki ONOGI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/11/01 Vol. E88-A No. 11 ; pp. 2989-2998 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Keyword: scheduling, batch process, concurrent system, Petri net, integration,
	Summary \| Full Text:PDF(946.2KB)

Petri Nets with Simple Circuits Hsu-Chun YEN Lien-Po YU
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/09/01 Vol. E88-D No. 9 ; pp. 2113-2125 Type of Manuscript: PAPER Category: Fundamentals of Software and Theory of Programs Keyword: Petri net, reachability, complexity, decomposition approach,
	Summary \| Full Text:PDF(861.2KB)

Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants Satoshi TAOKA Katsushi TAKANO Toshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-A No. 11 ; pp. 2436-2446 Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems) Category: Keyword: Petri net, minimal siphon-traps, Fourier-Motzkin method, invariant computation, polynomial-time algorithms,
	Summary \| Full Text:PDF(489.7KB)

NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net Atsushi OHTA Kohkichi TSUJI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/05/01 Vol. E85-A No. 5 ; pp. 1071-1074 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: concurrent system, Petri net, liveness, computational complexity,
	Summary \| Full Text:PDF(263.3KB)

A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2829-2837 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, multi-agent system, object orientation, agent orientation, mobile agent,
	Summary \| Full Text:PDF(557.4KB)

An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method Kunihiko HIRAISHI Hirohide TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2881-2884 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, legal firing sequence problem, partial order methods, stubborn sets, state space explosion,
	Summary \| Full Text:PDF(208.6KB)

Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants Katsushi TAKANO Satoshi TAOKA Masahiro YAMAUCHI Toshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2871-2880 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, minimal siphon-traps, Fourier-Motzkin method, memory overflow,
	Summary \| Full Text:PDF(763.5KB)

Polynomial Time Decidability of Monotone Liveness of Time Bounded AC/DC Nets Atsushi OHTA Kohkichi TSUJI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2865-2870 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: concurrent system, Petri net, liveness, computational complexity,
	Summary \| Full Text:PDF(223.4KB)

Performance Evaluation on Transient Time of Dynamic Workflow Changes Shingo YAMAGUCHI Yuko SHIODE Qi-Wei GE Minoru TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2852-2864 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: workflow, dynamic change, transient time, performance evaluation, Petri net,
	Summary \| Full Text:PDF(601.1KB)

A Petri Net Based Public-Key Cryptography: PNPKC Qi-Wei GE Takako OKAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/06/01 Vol. E84-A No. 6 ; pp. 1532-1535 Type of Manuscript: Special Section LETTER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000)) Category: Keyword: public-key cryptography, RSA, PGP, Petri net, T-invariant,
	Summary \| Full Text:PDF(245.2KB)

A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets Shin'ichiro NISHI Satoshi TAOKA Toshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/03/01 Vol. E84-A No. 3 ; pp. 771-780 Type of Manuscript: Special Section PAPER (Special Section of Selected Papers from the 13th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: Petri net, minimal initial markings, legal firing sequences, deficient siphons,
	Summary \| Full Text:PDF(424.5KB)

Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations Dong-Hoon YOO Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 ; pp. 2203-2211 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: asynchronous circuit, speed-independent circuit, concurrent programming, Petri net, synthesis,
	Summary \| Full Text:PDF(529.2KB)

Performance Evaluation on Change Time of Dynamic Workflow Changes Shingo YAMAGUCHI Qi-Wei GE Minoru TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 ; pp. 2177-2187 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: workflow, dynamic change, performance evaluation, Petri net, workflow net,
	Summary \| Full Text:PDF(843.5KB)

Algorithms for Extracting Minimal Siphons Containing Specified Places in a General Petri Net Masahiro YAMAUCHI Toshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/11/25 Vol. E82-A No. 11 ; pp. 2566-2575 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, minimal siphons, branch-and-bound algorithms, siphon extraction,
	Summary \| Full Text:PDF(424.4KB)

Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets Masahiro YAMAUCHI Toshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/11/25 Vol. E82-A No. 11 ; pp. 2558-2565 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, minimal siphons, polynomial time solvability, NP-completeness, strongly connectedness,
	Summary \| Full Text:PDF(585.6KB)

On Liveness of Extended Partially Ordered Condition Nets Atsushi OHTA Kohkichi TSUJI Tomiji HISAMURA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/11/25 Vol. E82-A No. 11 ; pp. 2576-2578 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, liveness, siphon, trap,
	Summary \| Full Text:PDF(126.3KB)

Escape-Time Modified Algorithm for Generating Fractal Images Based on Petri Net Reachability Hussein Karam HUSSEIN Aboul-Ella HASSANIEN Masayuki NAKAJIMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/07/25 Vol. E82-D No. 7 ; pp. 1101-1108 Type of Manuscript: PAPER Category: Image Processing,Computer Graphics and Pattern Recognition Keyword: escape-time algorithm, reachability problem, Petri net, chaos game, iterated function system, PN duality,
	Summary \| Full Text:PDF(4MB)

An Algorithm for Petri Nets Reachability by Unfoldings Toshiyuki MIYAMOTO Shun-ichiro NAKANO Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/03/25 Vol. E82-A No. 3 ; pp. 500-503 Type of Manuscript: Special Section LETTER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: Petri net, unfoldings, reachability, avoidance of state space explosion,
	Summary \| Full Text:PDF(206KB)

Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs Minoru TOMISAKA Tomohiro YONEDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/03/25 Vol. E82-D No. 3 ; pp. 704-711 Type of Manuscript: LETTER Category: Fault Tolerant Computing Keyword: symbolic analysis, partial order reduction, Petri net, single place zero reachability problem,
	Summary \| Full Text:PDF(552.3KB)

An Algebraic Criterion for State Machine Allocatable Nets Atsushi OHTA Tomiji HISAMURA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-A No. 4 ; pp. 626-627 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, state machine allocatable net, free choice net,
	Summary \| Full Text:PDF(152.3KB)

Requirements Specification and Analysis of Digital Systems Using FARHDL Victor R. L. SHEN Feng-Ho KUO Feipei LAI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/03/25 Vol. E81-D No. 3 ; pp. 317-328 Type of Manuscript: PAPER Category: Artificial Intelligence and Cognitive Science Keyword: knowledge base, requirements specification, formal analysis, Petri net, completeness, and consistency,
	Summary \| Full Text:PDF(1MB)

Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems Kiyoshi AKAMA Yoshinori SHIGETA Eiichi MIYAMOTO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/12/25 Vol. E80-D No. 12 ; pp. 1141-1148 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: rewriting system, semi-Thue system, Petri net, abstract rewriting system,
	Summary \| Full Text:PDF(567.6KB)

Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers Jordi CORTADELLA Michael KISHINEVSKY Alex KONDRATYEV Luciano LAVAGNO Alexandre YAKOVLEV
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/03/25 Vol. E80-D No. 3 ; pp. 315-325 Type of Manuscript: Special Section PAPER (Special Issue on Asynchronous Circuit and System Design) Category: Synthesis Keyword: asynchronous circuit, speed independence, technology mapping, Petri net, event insertion,
	Summary \| Full Text:PDF(877.9KB)

Construction of Petri Nets from a Given Partial Language Susumu HASHIZUME Yasushi MITSUYAMA Yutaka MATSUTANI Katsuaki ONOGI Yoshiyuki NISHIMURA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/12/25 Vol. E79-A No. 12 ; pp. 2192-2195 Type of Manuscript: LETTER Category: Concurrent Systems Keyword: Petri net, partial language, synthesis, concurrency, abstraction,
	Summary \| Full Text:PDF(253.1KB)

A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings Toshiyuki MIYAMOTO Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/11/25 Vol. E79-A No. 11 ; pp. 1809-1816 Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: Petri net, occurrence net, unfolding, reachability problem,
	Summary \| Full Text:PDF(716KB)

Protocol Verification Tool with Extended Petri Net and Horn Clause Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 ; pp. 1458-1467 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: communication networks and services, protocol verification, Petri net, Prolog, Horn clause,
	Summary \| Full Text:PDF(765.1KB)

An Analysis of Simulation between Petri Nets through Rewriting Logic Yasuyuki TAHARA Shinichi HONIDEN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 ; pp. 1498-1503 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: concurrency, rewriting logic, category theory, Petri net, simulation,
	Summary \| Full Text:PDF(397.7KB)

Equivalent Net Reduction for Firing Sequence Masato NAKAGAWA Sadatoshi KUMAGAI Toshiyuki MIYAMOTO Dong-Ik S. LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 ; pp. 1447-1457 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: discrete event system, Petri net, state space, net reduction, equivalent net,
	Summary \| Full Text:PDF(865.3KB)

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model Hirozumi YAMAGUCHI Kozo OKANO Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-A No. 10 ; pp. 1623-1633 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri net, marked graph, protocol synthesis, parallel events,
	Summary \| Full Text:PDF(954.1KB)

Activities on Net Theory in Japan Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/07/25 Vol. E77-A No. 7 ; pp. 1125-1131 Type of Manuscript: Special Section PAPER (Special Section on Surveys of Researches in CAS Fields in the Last Two Decades, ) Category: Keyword: Petri net, net theory, discrete event systems, concurrent systems,
	Summary \| Full Text:PDF(723.2KB)

Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems kazuhito OHMAKI Yutaka SATO Ichiro OGATA Kokichi FUTATSUGI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-A No. 10 ; pp. 1580-1590 Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design) Category: Keyword: Petri net, process algebra, CCS, LOTOS, user interface management system,
	Summary \| Full Text:PDF(891KB)

Application of Petri Nets to Sequence Control Yoichi NAGAO Hironobu URABE Shinichi NAKANO Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-A No. 10 ; pp. 1598-1606 Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design) Category: Keyword: Petri net, sequence control, graphical programming, programmable controller, ladder diagram,
	Summary \| Full Text:PDF(635.6KB)

PDM: Petri Net Based Development Methodology for Distributed Systems Mikio AOYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-A No. 10 ; pp. 1567-1579 Type of Manuscript: INVITED PAPER (Special Section on Nets-Oriented Software Specification and Design) Category: Keyword: Petri net, distributed systems, concurrent systems, formal specification, design methodology, verification and validation, perfomance evaluation, and computer-aided software engineering,
	Summary \| Full Text:PDF(1.1MB)

A Petri Net Based Platform for Developing Communication Software Systems Mikio AOYAMA Carl K. CHANG
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-A No. 10 ; pp. 1348-1359 Type of Manuscript: Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: Petri net, communication software, formal specification, development support environment, distributed system, reactive system, and verification,
	Summary \| Full Text:PDF(1MB)

Optimal Cycle Time and Facility Utilization of Production Systems Including Repetitive Process with Set-up Time Modelled by Timed Marked Graphs Masaki AKAZA Dong-Ik LEE Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-A No. 10 ; pp. 1385-1393 Type of Manuscript: Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: Petri net, scheduling, strongly connected marked graph, FMS, production system, utilization factor, set-up times, repetitive process,
	Summary \| Full Text:PDF(636.1KB)

Petri Net Based Programming System for FMS Yoichi NAGAO Hideaki OHTA Hironobu URABE Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-A No. 10 ; pp. 1326-1334 Type of Manuscript: INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: Petri net, sequence control, graphical programming, simulation, flexible manufacturing system,
	Summary \| Full Text:PDF(727KB)