The PEP Tool. URL http://parsys.informatik.uni-oldenburg.de/~pep/. 2002/07/29.  Home/Search   Document Not in Database   Summary   Related Articles

....PEP (Sect. 6.4) features a Petri net based collection of tools. Design CPN (Sect. 6.5) was one of the first Petri net tools that implemented an XML based file format. Currently, there are several Petri net tools implementing PNML as one (or as the only) file format (e.g. Renew [25] PNK [23] PEP [22], VIPtool [9] 6.1 XML Techniques Implementing a new file format such as PNML for an existing tool requires some extra work. Fortunately, there are di#erent tools and Application Programming Interfaces (APIs) for implementing parsers for XML documents on di#erent platforms and for di#erent ....

....constructs was quickly given. But it turned out that certain important constraints were not easily expressible, so that they had to be checked by an external tool later on. This may be acceptable or not, but it justifies the use of more powerful grammars for the definition of PNML. 6. 4 PEP PEP [22] features a collection of tools and formalisms useful for the verification and development of concurrent systems, combined beneath a graphical user interface. PEP supports a number of di#erent modelling languages, each of them having a Petri net semantics. Simulation and verification is based on ....

The PEP Tool. URL http://parsys.informatik.uni-oldenburg.de/~pep/. 2002/07/29.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC