Keyword : Petri net


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 propertyPetri netprocess treecomputational complexitypolynomial 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 networkflow netwell-structuredsoundnessreachabilityseparability
 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 networkflow netsuperclassbehavioral inheritanceprocess 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 networkflow netbridge-lessnecessary and sufficient conditionpolynomial-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 netstate number calculation problemprocess treesolvabilitycomputational complexitymodel 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 netPetri netbehavioral inheritancesoundnesssoundizabilitypolynomial 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 networkflow netreachabilityextended free-choicewell-structuredpolynomial 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 systemPetri netsubclasscomputational 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 netsignaling pathwayfiring delay timestochastic decision ruleconflict 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 systemPetri netlivenesscomputational 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: 
interworkflowinteroperabilityworkflow netPetri netsoundness
 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 netsystems biologybiological pathwaysmodelingsimulation
 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 netevolutionary computationJob Shop SchedulingCyclic Job Shop Schedulingmark 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: 
schedulingbatch processconcurrent systemPetri netintegration
 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 netreachabilitycomplexitydecomposition 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 netminimal siphon-trapsFourier-Motzkin methodinvariant computationpolynomial-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 systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(263.3KB)

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: 
workflowdynamic changetransient timeperformance evaluationPetri net
 Summary | Full Text:PDF(601.1KB)

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 netlegal firing sequence problempartial order methodsstubborn setsstate 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 netminimal siphon-trapsFourier-Motzkin methodmemory 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 systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(223.4KB)

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 netmulti-agent systemobject orientationagent orientationmobile agent
 Summary | Full Text:PDF(557.4KB)

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 cryptographyRSAPGPPetri netT-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 netminimal initial markingslegal firing sequencesdeficient siphons
 Summary | Full Text:PDF(424.5KB)

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: 
workflowdynamic changeperformance evaluationPetri networkflow net
 Summary | Full Text:PDF(843.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 circuitspeed-independent circuitconcurrent programmingPetri netsynthesis
 Summary | Full Text:PDF(529.2KB)

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 netminimal siphonsbranch-and-bound algorithmssiphon 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 netminimal siphonspolynomial time solvabilityNP-completenessstrongly 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 netlivenesssiphontrap
 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 algorithmreachability problemPetri netchaos gameiterated function systemPN 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 netunfoldingsreachabilityavoidance 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 analysispartial order reductionPetri netsingle 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 netstate machine allocatable netfree 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 baserequirements specification formal analysisPetri netcompletenessand 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 systemsemi-Thue systemPetri netabstract 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 circuitspeed independencetechnology mappingPetri netevent 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 netpartial languagesynthesisconcurrencyabstraction
 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 netoccurrence netunfoldingreachability 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 servicesprotocol verificationPetri netPrologHorn 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: 
concurrencyrewriting logiccategory theoryPetri netsimulation
 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 systemPetri netstate spacenet reductionequivalent 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 netmarked graphprotocol synthesisparallel 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 netnet theorydiscrete event systemsconcurrent 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 netprocess algebraCCSLOTOSuser 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 netsequence controlgraphical programmingprogrammable controllerladder 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 netdistributed systemsconcurrent systemsformal specificationdesign methodologyverification and validationperfomance evaluationand 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 netcommunication softwareformal specificationdevelopment support environmentdistributed systemreactive systemand 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 netschedulingstrongly connected marked graphFMSproduction systemutilization factorset-up timesrepetitive 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 netsequence controlgraphical programmingsimulationflexible manufacturing system
 Summary | Full Text:PDF(727KB)