Specification and Verification of Networks in a Petri Net Based Language

DAIMI Report Series
doi 10.7146/dpb.v11i153.7427
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

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

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2011English

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

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis
Applied MathematicsLogic
2020English

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

Decentralized Supervision of Mobile Sensor Networks Using Petri Net

International Journal of Computer Science, Engineering and Information Technology
2015English

A Petri-Net Based Context Representation in Smart Car Environment

International Journal of Handheld Computing Research
2011English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

A Public-Key Cryptosystem Based on Stochastic Petri Net

Journal of Software
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy