Keyword : Petri nets


Automatic Generation of Mixed Integer Programming for Scheduling Problems Based on Colored Timed Petri Nets
Andrea Veronica PORCO Ryosuke USHIJIMA Morikazu NAKAMURA 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2 ; pp. 367-372
Type of Manuscript:  Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
scheduling problemmixed integer programmingPetri netscolored timed Petri netautomatic generation
 Summary | Full Text:PDF

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6 ; pp. 1200-1209
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal tools
Keyword: 
unified modeling languagechoreography realization problemPetri netsautomatic synthesisservice-oriented architecture
 Summary | Full Text:PDF

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
Toshiyuki MIYAMOTO Yasuwo HASEGAWA Hiroyuki OIMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5 ; pp. 1171-1180
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Construction
Keyword: 
unified modeling languagechoreography realization problemPetri netsautomatic synthesisservice-oriented architecture
 Summary | Full Text:PDF

The Liveness of WS3PR: Complexity and Decision
GuanJun LIU ChangJun JIANG MengChu ZHOU Atsushi OHTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/08/01
Vol. E96-A  No. 8 ; pp. 1783-1793
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemsPetri netslivenessdeadlockresource allocation
 Summary | Full Text:PDF

Optimal Control of Boolean Biological Networks Modeled by Petri Nets
Koichi KOBAYASHI Kunihiko HIRAISHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A  No. 2 ; pp. 532-539
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Systems and Control
Keyword: 
asynchronous behaviorBoolean networksinteger programmingoptimal controlPetri nets
 Summary | Full Text:PDF

On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method
Yongyuth PERMPOONTANALARP Apichai CHANGKHANAK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/01/01
Vol. E95-D  No. 1 ; pp. 215-229
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
formal methods for cryptographic protocolsmodel checkingPetri nets
 Summary | Full Text:PDF

The Marking Construction Problem of Petri Nets and Its Heuristic Algorithms
Satoshi TAOKA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/09/01
Vol. E94-A  No. 9 ; pp. 1833-1841
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
Petri netsmarking construction problemreachability problemheuristic algorithmscomputer experiments
 Summary | Full Text:PDF

Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets
Satoru OCHIIWA Satoshi TAOKA Masahiro YAMAUCHI Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11 ; pp. 2732-2744
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
Petri netslegal firing sequence problemsdeficient siphonsheuristic algorithmsperformance evaluation
 Summary | Full Text:PDF

Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets
Toshimasa WATANABE Satoshi TAOKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11 ; pp. 2707-2716
Type of Manuscript:  INVITED PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
Petri netsP-invariantsminimal supportssiphon-trapsFourier-Motzkin method
 Summary | Full Text:PDF

On Reachability Analysis of Multi Agent Nets
Toshiyuki MIYAMOTO Masaki SAKAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/10/01
Vol. E90-A  No. 10 ; pp. 2257-2260
Type of Manuscript:  Special Section LETTER (Special Section on Nonlinear Theory and its Applications)
Category: Systems Theory and Control
Keyword: 
Petri netsmulti-agentobject-orientationreachability analysis
 Summary | Full Text:PDF

Time Complexity Analysis of the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs
Satoshi TAOKA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11 ; pp. 3216-3226
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
Petri netsinhibitor-arcslegal firing sequencespseudo-polynomial time algorithmsNP-hardness
 Summary | Full Text:PDF

A Survey of Object-Oriented Petri Nets and Analysis Methods
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2964-2971
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
Petri netsobject orientationmulti-agent systemsreachability problemdistributed systemsformal model
 Summary | Full Text:PDF

Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets
Satoshi TAOKA Masahiro YAMAUCHI Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 3051-3061
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
Petri netsminimal initial marking problemslegal firing sequence problemsdeficient siphonsheuristic algorithmsexperimental evaluation
 Summary | Full Text:PDF

A Flexible and Efficient Workflow Change Type: Selective Shift
Shingo YAMAGUCHI Akira MISHIMA Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/06/01
Vol. E88-A  No. 6 ; pp. 1487-1496
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2004 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2004))
Category: 
Keyword: 
workflowsdynamic changeworkflow netsPetri netschange time
 Summary | Full Text:PDF

Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants
Akihiro TAGUCHI Atsushi IRIBOSHI Satoshi TAOKA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4 ; pp. 964-971
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
Petri netsP-invariantsminimal supportssiphon-trapsFourier-Motzkin method
 Summary | Full Text:PDF

Computation Methods of Maximum Throughput for MG/ SMWF-Nets with Conflict-Free Resources
Shingo YAMAGUCHI Keisuke KUNIYOSHI Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2868-2877
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
workflowresourcethroughputworkflow netsPetri nets
 Summary | Full Text:PDF

Deadlock-Free Scheduling in Automated Manufacturing Systems with Multiple Resource Requests
Zhonghua HUANG Zhiming WU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2844-2851
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
deadlock-free schedulingautomated manufacturing systemsPetri netsgenetic algorithm
 Summary | Full Text:PDF

Modeling and Performance Evaluation on Change Time for Migrate Dynamic Workflow Changes
Shingo YAMAGUCHI Akira MISHIMA Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/06/01
Vol. E86-A  No. 6 ; pp. 1466-1475
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2002 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2002))
Category: 
Keyword: 
workflowMigrate dynamic changemodelingperformance evaluationchange timePetri nets
 Summary | Full Text:PDF

An Efficient Algorithm for Exploring State Spaces of Petri Nets with Large Capacities
Kunihiko HIRAISHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11 ; pp. 2188-2195
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netsstate space analysisverification of concurrent systemsperiodic occurrence of transitions
 Summary | Full Text:PDF

Fuzzy-Timing Petri Net Modeling and Simulation of a Networked Virtual Environment: NICE
Yi ZHOU Tadao MURATA Thomas DEFANTI Hui ZHANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11 ; pp. 2166-2176
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netsnetworked-virtual environmentsfuzzy timingformal modeling
 Summary | Full Text:PDF

Optimum Order Time for a Spare Part Inventory System Modeled by a Non-Regenerative Stochastic Petri Net
Qun JIN Richard F. VIDALE Yoshio SUGASAWA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Vol. E83-A  No. 5 ; pp. 818-827
Type of Manuscript:  Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category: 
Keyword: 
maintenanceMarkov processesPetri netsoptimizationreliability
 Summary | Full Text:PDF

The Legal Firing Sequence Problem of Petri Nets
Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/03/25
Vol. E83-D  No. 3 ; pp. 397-406
Type of Manuscript:  INVITED SURVEY PAPER
Category: Graph Algorithms
Keyword: 
Petri netslegal firing sequence problemstime complexity analysisNP-hardnesspseudo-polynomial time algorithms
 Summary | Full Text:PDF

On the Legal Firing Sequence Problem of Petri Nets with Cactus Structure
Toshihiro FUJITO Satoshi TAOKA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/03/25
Vol. E83-A  No. 3 ; pp. 480-486
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
Petri netslegal firing sequence problempolynomial time algorithms
 Summary | Full Text:PDF

A Concurrency Characteristic in Petri Net Unfolding
Chang-Hee HWANG Dong-Ik LEE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 532-539
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netsstate space explosionpartial order semanticsunfolding
 Summary | Full Text:PDF

A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets
Young-Han CHOE Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 524-531
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netsSMA netsLSFC netsLBFC netshandlescomposition
 Summary | Full Text:PDF

Necessary and Sufficient Condition for Liveness of Asymmetric Choice Petri Nets
Tadashi MATSUMOTO Yasuhiko TSURUTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/03/25
Vol. E80-A  No. 3 ; pp. 521-533
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Petri netslivenessasymmetric choice netsbehavioral trapsconfusion
 Summary | Full Text:PDF

Synthesis of Asynchronous Circuits from Signal Transition Graph Specifications
Sung-Bum PARK Takashi NANYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3 ; pp. 326-335
Type of Manuscript:  Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
asynchronous synthesislogic synthesissignal transition graphsPetri netsspeed-independent circuits
 Summary | Full Text:PDF

A GA Approach to Solving Reachability Problems for Petri Nets
Keiko TAKAHASHI Masayuki YAMAMURA Shigenobu KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1774-1780
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netsreachability problemsgenetic algorithmsstate space explosion problemscost performance
 Summary | Full Text:PDF

On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule
Atsushi OHTA Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1791-1796
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netsthe earliest furing rulelivenessreachability
 Summary | Full Text:PDF

Petri Nets-Based Super Scalar Computing in Programmable Controllers
Naehyuck GHANG Jaehyun PARK Wook Hyun KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1511-1518
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
programmable controllersequence controlsuper scalarPetri nets
 Summary | Full Text:PDF

A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets
Hiroto SUZUKI Kohkichi TSUJI Tetsuo ARAKI Osamu TAKAHASHI Shizuo YOSHITAKE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1663-1671
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri netsreachabilityconformance testOSI protocoltest logictest spquence
 Summary | Full Text:PDF

A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs
Chuang LIN Tadao MURATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1579-1587
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri netsnonmonotonic logicfour-valued logicannotated logic programslogical inferencealgorithm for logical extensions
 Summary | Full Text:PDF

Total High Performance Time and Design of Degradable Real-Time Systems
Masaharu AKATSU Tomohiro MURATA Kenzo KURIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/03/25
Vol. E77-A  No. 3 ; pp. 510-516
Type of Manuscript:  Special Section PAPER (Special Section on the 6th Karuizawa Workshop on Circuits and Systems)
Category: Concurrent Systems, Discrete Event Systems and Petri Nets
Keyword: 
availabilityreliabilityperformancefault-tolerancemodelingPetri nets
 Summary | Full Text:PDF

A Study on the Design and Reliability Analysis of Concurrent System by Petri Nets: A Case on Lift System
Gy Bum KIM Gang Soo LEE Jung Mo YOON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1610-1614
Type of Manuscript:  Special Section LETTER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
Petri netsfaultable transitioncondition transitionmaximum firingreliabiliy
 Summary | Full Text:PDF

Fuzzy Petri Net Representation and Reasoning Methods for Rule-Based Decision Making Systems
Myung-Geun CHUN Zeungnam BIEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/06/25
Vol. E76-A  No. 6 ; pp. 974-983
Type of Manuscript:  PAPER
Category: Concurrent Systems, Discrete Event Systems and Petri Nets
Keyword: 
rule-based decision making systemsfuzzy logicPetri netsknowledge representationreasoning methods
 Summary | Full Text:PDF

Qualitative Analysis of Periodic Schedules for Deterministically Timed Petri Net Systems
Kenji ONAGA Manuel SILVA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/04/25
Vol. E76-A  No. 4 ; pp. 580-592
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
periodic schedulePetri netslinear programmingtruncation
 Summary | Full Text:PDF

Structural and Behavioral Analysis of State Machine Allocatable Nets Based on Net Decomposition
Dong-Ik LEE Tadaaki NISHIMURA Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/03/25
Vol. E76-A  No. 3 ; pp. 399-408
Type of Manuscript:  Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Petri netsSMA netsS-decompositionS-componentlivenesssafenessalgorithm
 Summary | Full Text:PDF

Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic--Minimum Modification for Provability--
Toshimasa WATANABE Naomoto KATO Kenji ONAGA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/04/25
Vol. E75-A  No. 4 ; pp. 478-491
Type of Manuscript:  Special Section PAPER (Special Issue on Discrete Mathematics and Its Application)
Category: 
Keyword: 
horn clausespropositional logicPetri netsvariable deletionclause addition
 Summary | Full Text:PDF

Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets --
Toshimasa WATANABE Naomoto KATO Kenji ONAGA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A  No. 3 ; pp. 425-435
Type of Manuscript:  Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Horn clauses,propositional logicPetri netsproofsaxiom sets
 Summary | Full Text:PDF