Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adrien Leitold
Diagnosis of Technological Systems Based on Their Coloured Petri Net Model
IFAC Proceedings Volumes
Related publications
Transformation of DEMO Model Into Coloured Petri Net - Ontology Based Simulation
Fault Diagnosis on Electric Power Systems Based on Petri Net Approach
Intrusion Detection in Cyber-Physical Systems Based on Petri Net
Information Technology and Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Advanced Saturation-Based Model Checking of Well-Formed Coloured Petri Nets
Periodica polytechnica Electrical engineering and computer science
Electronic Engineering
Information Systems
Signal Processing
Computer Networks
Communications
Computer Science Applications
Electrical
Software
Cast Aluminum Energy Consumption Model Based on Fuzzy Petri Net
Modeling of Complex Apron Conflict Control Based on Petri Net Model
The Network Attack Model Based on Hierarchical Expanded Stochastic Petri Net
International Journal of Security and its Applications
Computer Science
Parallel Application Scheduling Model Based on Petri Net With Changeable Structure
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
