[mercury-users] Re: coloured petri nets

[Peter Ross]

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.

See

http://www.daimi.aau.dk/~kjensen/papers_books/rec_papers_books.html

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
--------------------------------------------------------------------------