**************************************************************************** Call for papers ! **************************************************************************** Hardware Design and Petri Nets A workshop within the 19th International Conference on Applications and Theory of Petri Nets, Lisbon, Portugal, Tuesday, June 23 1998. **************************************************************************** Organizers Alex Yakovlev University of Newcastle upon Tyne, UK Luis Gomes Universidade Nova de Lisboa, Portugal Throughout the entire history of Petri Nets they have been seen as a most natural way to describe the behaviour of digital systems, both asynchronous (self-timed) and synchronous (with global clocks). Recent progress in developing Petri-Net-based techniques and software tools for modelling, synthesis and verification of hardware creates an opportunity to demonstrate practical usefulness of Petri Nets in design mechanisation and automation. With the advent of new hardware-software codesign technologies, it is especially interesting and challenging to assess the potential of Petri nets to take a leading position amongst other formal approaches. This workshop will focus on the application of Petri nets to hardware design and hardware-software codesign. Topics of interest include (but are not limited to): - circuit (both synchronous and asynchronous) modelling - hardware design with Petri nets - synthesis and verification of circuits - hardware-software codesign with Petri nets - performance analysis of hardware - links between Petri nets and Hardware Description Languages - case studies with Petri net models (microprocessors, controllers, interfaces, `small-scale' circuits ...) Submission Authors are invited to send 5 hardcopies (via express courier) or a postscript file of an extended abstract (appr. 5 pages) of their paper to: Dr. Alex Yakovlev University of Newcastle upon Tyne Department of Computing Science Claremont Tower, Claremont Road Newcastle upon Tyne NE1 7RU United Kingdom e-mail : alex.yakovlev@ncl.ac.uk Use of e-mail is recommended. Papers must be in English. The paper must clearly state the problem being addressed, the goal of the work, the results achieved and the relation to other work. A pre-publication containing all the accepted papers will be distributed to the workshop participants. Important dates - Submission of the paper: March 1, 1998. - Notification of acceptance (via e-mail): April 15, 1998. - Final copy of the paper (hardcopy) to Alex Yakovlev: May 17, 1998. - Workshop: June 23, 1998. Future information about the Workshop will be published via - "Announcements of Events" on the Petri Net WWW pages: http://www.daimi.aau.dk/PetriNets/annce - "Petri Nets'98 web pages" http://www.uninova.pt/~pn98 and - "Workshop web pages" http://sadko.ncl.ac.uk/~nay/hwpn/hwpn.html