Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luca Bernardinello
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
Related publications
Incremental Process Discovery Using Petri Net Synthesis
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Petri Net Synthesis and Synchronization Using Knitting Technique
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications
Petri Net Applications in Molecular Biology
In Silico Biology
Genetics
Molecular Biology
Computational Theory
Computational Mathematics
Medicine
Mathematics
Petri Net Analysis Using Invariant Generation
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
Toward Automatic Analyzing Statechart With Petri Net
Information Technology Journal
The Downward-Closure of Petri Net Languages
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
