Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net

Publisher： IGI Global_journal

E-ISSN： 1935-5734|11|1|31-38

ISSN： 1935-5726

Source： International Journal of Information Systems and Supply Chain Management (IJISSCM), Vol.11, Iss.1, 2018-01, pp. : 31-38

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal Verification of UML2 Timing Diagrams based on Time Petri Nets

By  

International Journal of Information Systems in the Service Sector (IJISSS), Vol. 8, Iss. 2, 2016-04 ,pp. : 87-97

IGI Global_journal

Access to resources Recommend Favorite

A Metamodel for Component-Based Service Modeling

By  

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol. 4, Iss. 2, 2013-04 ,pp. : 60-77

IGI Global_journal

Access to resources Recommend Favorite

Application of Fuzzy Labeled Transition System to Contract Net Protocol

By  

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol. 6, Iss. 3, 2015-07 ,pp. : 27-46

IGI Global_journal

Access to resources Recommend Favorite

An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures

By  

International Journal of Information Systems in the Service Sector (IJISSS), Vol. 9, Iss. 3, 2017-07 ,pp. : 37-57

IGI Global_journal

Access to resources Recommend Favorite

The Net Imperative

By Barratt Mark   Daniel Elizabeth  

Supply Chain Practice, Vol. 2, Iss. 1, 2000-03 ,pp. : 4-14

Cranfield School of Management

Access to resources Recommend Favorite