Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matteo Risoldi
High-Level Petri Net Model Checking With AlPiNA
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Model Checking Using Net Unfoldings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Petri Net Based High Speed Programmable Controller
Transactions of the Society of Instrument and Control Engineers
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
Parallel Application Scheduling Model Based on Petri Net With Changeable Structure
Toward Automatic Analyzing Statechart With Petri Net
Information Technology Journal
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications
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
