Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Filipe Moutinho
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Specification and Verification of Networks in a Petri Net Based Language
DAIMI Report Series
Self Calibrating Clocks for Globally Asynchronous Locally Synchronous Systems
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
Cybernetics and Information Technologies
Computer Science
Petri Net Based Specification in the Design of Logic Controllers With Exception Handling Mechanism
International Journal of Electronics and Telecommunications
Petri Net Based Refactoring of Workflows and Its Applications in System Development
IEICE ESS Fundamentals Review
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Early Reliability Assessment of Component-Based Software System Using Colored Petri Net
Turkish Journal of Electrical Engineering and Computer Sciences
Electronic Engineering
Electrical
Computer Science
Distributed Practice Monitoring System Modeling of Students Based on the Petri Net
DEStech Transactions on Engineering and Technology Research
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
