Bernardinello, Luca.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
Petrucci, Laure.; Bernardinello, Luca.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Petri net synthesis
by:
Darondeau, Philippe.; Badouel, Eric.; Bernardinello, Luca.; SpringerLink (Online service)
(Language materials, printed)
Application and theory of petri nets and concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
Bernardinello, Luca.; SpringerLink (Online service); Petrucci, Laure.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Petri Net Synthesis
by:
Darondeau, Philippe.; SpringerLink (Online service); Bernardinello, Luca.; Badouel, Eric.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer networks .
Petri nets
Computer Communication Networks.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Petri nets.
Embedded Systems.
Mathematical Logic and Foundations.
Embedded computer systems.
Computers.
Computer multitasking