Formal Verification of UML2 Timing Diagrams based on Time Petri Nets

E-ISSN： 1935-5696|8|2|87-97

ISSN： 1935-5688

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

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

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

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

IGI Global_journal

Access to resources Recommend Favorite

Safety Nets

The International Journal of Knowledge, Culture, and Change Management: Annual Review, Vol. 10, Iss. 9, 2011-01 ,pp. : 19-28

Common Ground Publishing

Access to resources Recommend Favorite

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol. 7, Iss. 1, 2016-01 ,pp. : 27-42

IGI Global_journal

Access to resources Recommend Favorite

Online Automatic Marking of Diagrams

By Thomas Pete

Systemic Practice and Action Research, Vol. 26, Iss. 4, 2013-08 ,pp. : 349-359

Springer Publishing Company

Access to resources Recommend Favorite

The information systems environment of time-based competitors

By Rondeau P.J. Ragu-Nathan T.S. Vonderembse M.A.

Omega, Vol. 31, Iss. 4, 2003-08 ,pp. : 253-268

Elsevier

Access to resources Recommend Favorite