[mercury-users] Re: coloured petri nets

Peter Ross peter.ross at miscrit.be
Fri Sep 7 00:08:07 AEST 2001

On Thu, Sep 06, 2001 at 06:52:17AM -0700, Ralph Becket wrote:
> Can you give us a potted summary of what you want to do?  When you
> read code fragments it's hard to work out whether you agree, in the
> absence of context, with the approach taken.
I want to implement coloured petri nets in Mercury using as much as
possible Mercurys type system to provide type safety.



and download 

A Brief Introduction to Coloured Petri Nets

to get a description of what a coloured petri net is.
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list