Languages
Darondeau, Philippe.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Petri net synthesis
by:
Badouel, Eric.; Bernardinello, Luca.; Darondeau, Philippe.; SpringerLink (Online service)
(Language materials, printed)
Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
by:
Darondeau, Philippe.; SpringerLink (Online service); Ciardo, Gianfranco.; 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
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Petri nets
Operating Systems.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Petri nets.
Mathematical Logic and Foundations.
Business Information Systems.
Computers.
Discrete Mathematics in Computer Science.