Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Wombacher, A. and Martens, A.
(2007)
Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context.
In: Digital EcoSystems and Technologies Conference, 2007. DEST '07. Inaugural IEEE-IES, 21-23 February 2007, Cairns, Australia.
pp. 257-262.
IEEE Computer Society.
ISBN 1-4244-0470-3
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||