Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shigemasa TAKAI
Modeling Moving-Block Railway Systems: A Generalized Batches Petri Net Approach
SICE Journal of Control, Measurement, and System Integration
Command-Based Supervisory Control of Discrete Event Systems
Transactions of the Society of Instrument and Control Engineers
Related publications
Modeling of Updating Moving Object Database Using Timed Petri Net Model
IJCI. International Journal of Computers and Information
A Petri-Net Based Approach to Measure the Learnability of Interactive Systems
Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism
International Journal of Information Technology and Computer Science
Fault Diagnosis on Electric Power Systems Based on Petri Net Approach
A Petri Net Interpretation of Open Reconfigurable Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
Hybrid Petri Net Approach for Batch Process (Glass Process)
International Journal for Research in Applied Science and Engineering Technology
Research on Mapping UML to Petri-Net in System Modeling
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
