A new version of DSSZMC is available.
It contains tools for the symbolic analysis of bounded Petri nets for
standard properties and CTL model checking.
They are based on an efficient implementation of Zero-suppressed Binary
Decision Diagrams (zbdd-mc) and Interval Decision Diagrams (idd-mc).
Main features:
# no previous knowledge of the boundedness degree required (idd-mc)
# efficient saturation-based reachability analysis
# dead state […]
–===============0292666996==
Content-Type: multipart/alternative; boundary=”0-11285828-1225733038=:23431″
–0-11285828-1225733038=:23431
Content-Type: text/plain; charset=iso-8859-3
Content-Transfer-Encoding: quoted-printable
Dear All,
=A0I=A0 am Ahmet Yilmaz.I m a graduated student at =A9stanbul Technical uni=
versity.
=A0My thesis is reachabiliy analysis of Timed Petri Nets.It is hard to find=
books about Timed Petri
=A0nets.I just found=A0 “Timed Petri Nets-Theory and Applications-J. Wang”.
=A0
=A0Will you help me to find books and materials.And =B9 m glad to find […]
This is a multi-part message in MIME format.
–===============0081606466==
Content-Type: multipart/alternative;
boundary=”————040104020301040902090505″
This is a multi-part message in MIME format.
————–040104020301040902090505
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
APNOC 2009
International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency
http://www.win.tue.nl/apnoc2009/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Paris, France, June 22, 2009
a satellite event of Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of […]
This is a multi-part message in MIME format.
–===============0039639545==
Content-Type: multipart/alternative;
boundary=”————010206000804070304040604″
This is a multi-part message in MIME format.
————–010206000804070304040604
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
APNOC 2009
International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency
http://www.win.tue.nl/apnoc2009/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Paris, France, June 22, 2009
a satellite event of Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of […]
A post-doctoral fellowship in the area of algorithms and
data structures is available at the University of New Brunswick,
Faculty of Computer Science in Canada. The deadline for
applications in November 30, 2008, for commencement early in 2009.
Details on how to apply are available at
http://www.cs.unb.ca/~bgn/postdoc/
Brad Nickerson
UNB Faculty of Computer Science