Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-3-642-19170-1_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Specification and Verification of Networks in a Petri Net Based Language

DAIMI Report Series
1982English

Self Calibrating Clocks for Globally Asynchronous Locally Synchronous Systems

English

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Cybernetics and Information Technologies
Computer Science
2016English

Petri Net Based Specification in the Design of Logic Controllers With Exception Handling Mechanism

International Journal of Electronics and Telecommunications
2012English

Petri Net Based Refactoring of Workflows and Its Applications in System Development

IEICE ESS Fundamentals Review
2016English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Early Reliability Assessment of Component-Based Software System Using Colored Petri Net

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2019English

Distributed Practice Monitoring System Modeling of Students Based on the Petri Net

DEStech Transactions on Engineering and Technology Research
2017English

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
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy