**Control Interpreted Petri Nets – Model Checking and Synthesis**

Iwona Grobelna

176 Petri Nets – Manufacturing and Computer Science

10(2): 103-113.

Vol. 8, No.1, 1-13.

the ACM, 2003; 46(10), 25–65.

Corporation, Japan, (2004).

51. No. 3. 315-339.

2-3, 345-360.

Cambridge, Massachusetts, USA, 1998.

Fuzzy System 1994; Vol.2, No.4, 295-301.

Engineering (ICSE2010), 35 – 44.

B: Cybernetics, 1998; 28(6), 781-789.

[9] Guangming C., Minghong L., Xianghu W. The Definition of Extended High-level Time

[10] Hirasawa K., Ohbayashi M., Sakai S., Hu J. Learning Petri Network and Its Application to Nonlinear System Control. IEEE Transactions on Systems, Man and Cybernetic, Part

[11] VIRTANEN H. E. A Study in Fuzzy Petri Nets and the Relationship to Fuzzy Logic Programming, Reports on Computer Science and Mathematics, No. 162, 1995. [12] Yan H. S., Jian J. Agile concurrent engineering. Integrated Manufacturing Systems 1999;

[13] Wang J. Petri nets for dynamic event-driven system modeling. Handbook of Dynamic

[14] Lim J. H., Lee. K. H. Constructing Composite Web Services from Natural Language Requests, Web Semantics: Science, Services and Agents on the World Wide Web 2010;

[15] Li X., Yu W., and Rsano F. L. Dynamic Knowledge Inference and Learning under Adaptive Fuzzy Petri Net Framework, IEEE Transactions on System, Man, and

[16] Papazoglou M.P., Georgakopoulos D. Service-Oriented Computing, Communications of

[17] Platzer C. and S. Dustdar. A Vector Space Search Engine for Web Services, Proc. Third

[18] Sutton R. S., Batto A. G. Reinforcement learning: An Introduction. The MIT Press,

[19] Sony OPEN-R programming group, OPEN-R programming introduction. Sony

[20] Tzafesta S.G., Rigatos G.G. Stability analysis of an adaptive fuzzy control system using Petri nets and learning automata. Mathematics and computers in Simulation 2000; Vol.

[21] Segev A. and E. Toch. Context-Based Matching and Ranking of Web Services for Composition, IEEE Transaction on Services computing 2009;, Vol.2, No.3, 210-222. [22] Baranaushas V., Sarkauskas K. Colored Petri Nets-Tool for control system Learning.

[23] Victor R. L. Shen. Reinforcement Learning for High-level Fuzzy Petri Nets, IEEE Transactions on System, Man, and Cybernetics-Part B 2003; Vol.33, No.2, 351-361. [24] Pedrycz W. and Gomide F. A Generalized Fuzzy Petri Net Model, IEEE Transaction on

[25] Xu H., Wang Y., and Jia P. Fuzzy Neural Petri Nets, Proceedings of the 4th International Symposium on Neural Networks: Part II--Advances in Neural Networks, 2007; 328 – 335. [26] Ding Z. H., Bunke H., Schneider M. and A. Kandel. Fuzzy Time Petri net Definitions, Properties, and Applications, Mathematical and Computer Modeling, 2005, Vol. 41, No.

[27] Zheng Z. B., Lyu M. R. Collaborative Reliability Prediction for Service -Oriented Systems, Proceedings of the ACM/IEEE 32nd International Conference on Software

Petri Nets. Journal of Computer Science 2006; 2(2):127-143.

System Modeling 2007; Ed: Paul Fishwick, CRC Press, 1-17.

Cybernetics-Part C 2000; Vol. 30, No.4, 442-450.

European Conf. Web Services (ECOWS'05) 2005, 62-71.

Electronics and Electrical Engineering 2006; 4(68):41-46.

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/47797
