Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development

Petri Nets and Other Models of Concurrency - ICATPN 2006 - Lecture Notes in Computer Science ◽

10.1007/11767589_4 ◽

2006 ◽

pp. 57-64

Author(s):

Jianli Xu

Keyword(s):

Software Development ◽

Petri Nets ◽

Mobile Terminal ◽

Colored Petri Nets ◽

Network Software

Download Full-text

An integrated software development methodology based on hierarchical colored Petri nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019977 ◽

2005 ◽

pp. 227-252 ◽

Cited By ~ 8

Author(s):

Valerio O. Pinci ◽

Robert M. Shapiro

Keyword(s):

Software Development ◽

Petri Nets ◽

Colored Petri Nets ◽

Development Methodology ◽

Software Development Methodology ◽

Integrated Software

Download Full-text

An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets

High-level Petri Nets ◽

10.1007/978-3-642-84524-6_26 ◽

1991 ◽

pp. 649-666 ◽

Cited By ~ 5

Author(s):

V. Pinci ◽

R. M. Shapiro

Keyword(s):

Software Development ◽

Petri Nets ◽

Colored Petri Nets ◽

Development Methodology ◽

Software Development Methodology ◽

Integrated Software

Download Full-text

Colored Petri Nets formal transformation to B machines for safety critical software development

2015 International Conference on Industrial Engineering and Systems Management (IESM) ◽

10.1109/iesm.2015.7380130 ◽

2015 ◽

Cited By ~ 2

Author(s):

Zakaryae Boudi ◽

El Miloudi El Koursi ◽

Simon Collart-Dutilleul

Keyword(s):

Software Development ◽

Petri Nets ◽

Colored Petri Nets ◽

Safety Critical

Download Full-text

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2013.00090 ◽

2014 ◽

Vol 35 (11) ◽

pp. 2608-2614

Author(s):

Xiang Gao ◽

Yue-fei Zhu ◽

Sheng-li Liu

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Model Based

Download Full-text

Distributed Sensor Network Software Development Testing through Simulation

10.2172/833222 ◽

2003 ◽

Author(s):

Sean M. Brennan

Keyword(s):

Software Development ◽

Sensor Network ◽

Distributed Sensor ◽

Distributed Sensor Network ◽

Network Software

Download Full-text

Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools

2015 12th International Conference on Information Technology - New Generations ◽

10.1109/itng.2015.143 ◽

2015 ◽

Cited By ~ 2

Author(s):

Clarimundo Machado Moraes Junior ◽

Rita Maria Silva Julia ◽

Stephane Julia

Keyword(s):

Petri Nets ◽

Search Algorithms ◽

Colored Petri Nets ◽

Cpn Tools ◽

Recursive Search

Download Full-text

Research on equipment supportability assessment based on agent-oriented colored petri nets

2009 8th International Conference on Reliability, Maintainability and Safety ◽

10.1109/icrms.2009.5270063 ◽

2009 ◽

Author(s):

Yu Cao ◽

Shengde Wang ◽

Tiening Wang ◽

Xinyue Tian

Keyword(s):

Petri Nets ◽

Colored Petri Nets

Download Full-text

A timed colored Petri nets modeling for dynamic workflow in product development process

Computers in Industry ◽

10.1016/j.compind.2007.06.016 ◽

2008 ◽

Vol 59 (2-3) ◽

pp. 193-209 ◽

Cited By ~ 37

Author(s):

Seungchul Ha ◽

Hyo-Won Suh

Keyword(s):

Product Development ◽

Petri Nets ◽

Development Process ◽

Product Development Process ◽

Colored Petri Nets ◽

Dynamic Workflow ◽

Timed Colored Petri Nets

Download Full-text

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

2015 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2015.7139732 ◽

2015 ◽

Cited By ~ 2

Author(s):

HeSuan Hu ◽

Yan Yang ◽

Yang Liu ◽

Chen Chen

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Colored Petri Nets ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Design

Download Full-text

Optimization and Modeling of High-speed Flying Train Communication System Based on Colored Petri Nets

10.1109/icpics52425.2021.9524226 ◽

2021 ◽

Author(s):

Jingyu Lin ◽

Qihong Yue ◽

Xiangqian Liu

Keyword(s):

Petri Nets ◽

Communication System ◽

High Speed ◽

Colored Petri Nets

Download Full-text