archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Modeling Business Processes << CPN Tools Homepage
    of a process Finally the book explores analysis of Petri net models to detect design flaws and errors in the design process The text accessible to a broad audience of professionals and students keeps technicalities to a minimum and offers numerous examples to illustrate the concepts covered Exercises at different levels of difficulty make the book ideal for independent study or classroom use Endorsements This book is an absolute must for everyone who wants to learn the state of the art for modeling of business processes by means of colored Petri nets Wil van der Aalst s group at Eindhoven University of Technology is world leading in the field both when it comes to the theoretical foundation and in practical applications and tool support The book can be read with little or no prior knowledge of Petri nets and I highly recommend it both for classes and for individuals It is brilliant Kurt Jensen Aarhus University Denmark This book is about using Petri nets to model business processes in their relation to information systems But it is much more It characterizes different types of information systems based on their capability to support complex business processes It teaches how to translate informal requirements into explicit models and how to cope with changes and adaptation But most importantly it provides an efficient and unambiguous way to translate dynamic complex behavior into static understandable models Petri nets are back again and they are here to stay John Hoogland CEO Pallas Athena International This book is a must read for anybody interested in the foundations of process modeling using Petri nets with dozens of exercises and solutions it also serves as an excellent textbook Mathias Weske Hasso Plattner Institute University of Potsdam Slides supporting the book Introduction Classical Petri nets High level Petri nets

    Original URL path: http://cpntools.org/book/start (2016-04-26)
    Open archived version from archive


  • Publications << CPN Tools Homepage
    Simulator Proc of 30th International Conference on Applications and Theory of Petri Nets Petri Nets 2009 Lecture Notes in Computer Science 5606 pp 313 322 Springer Verlag Berlin 2009 K Jensen L M Kristensen and L Wells Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent System s International Journal on Software Tools for Technology Transfer STTT 9 3 4 pp 213 254 2007 A V Ratzer L Wells H M Lassen M Laursen J F Qvortrup M S Stissing M Westergaard S Christensen and K Jensen CPN Tools for Editing Simulating and Analysing Coloured Petri Nets Proc of 24th International Conference on Applications and Theory of Petri Nets Petri Nets 2003 Lecture Notes in Computer Science 2679 pp 450 462 Springer Verlag Berlin 2003 Standard ML CPN Tools uses the CPN ML language to specify declarations and net inscriptions This language is an extension of the functional programming language Standard ML developed at Edinburgh University CPN ML Help page on using CPN ML and Standard ML in CPN Tools Standard ML bibliography R Milner M Tofte R Harper and D MacQueen The definition of Standard ML MIT Press Cambridge MA 1997 J D Ullman Elements of

    Original URL path: http://cpntools.org/publications?do=addtobook (2016-04-26)
    Open archived version from archive

  • Publications << CPN Tools Homepage
    the CPN Tools Simulator Proc of 30th International Conference on Applications and Theory of Petri Nets Petri Nets 2009 Lecture Notes in Computer Science 5606 pp 313 322 Springer Verlag Berlin 2009 K Jensen L M Kristensen and L Wells http dx doi org 10 1007 s10009 007 0038 x Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent System s International Journal on Software Tools for Technology Transfer STTT 9 3 4 pp 213 254 2007 A V Ratzer L Wells H M Lassen M Laursen J F Qvortrup M S Stissing M Westergaard S Christensen and K Jensen http dx doi org 10 1007 3 540 44919 1 28 CPN Tools for Editing Simulating and Analysing Coloured Petri Nets Proc of 24th International Conference on Applications and Theory of Petri Nets Petri Nets 2003 Lecture Notes in Computer Science 2679 pp 450 462 Springer Verlag Berlin 2003 Standard ML CPN Tools uses the CPN ML language to specify declarations and net inscriptions This language is an extension of the functional programming language Standard ML developed at Edinburgh University CPN ML documentation concepts start Help page on using CPN ML and Standard ML in CPN Tools Standard ML bibliography R Milner M Tofte R Harper and D MacQueen The definition of Standard ML MIT Press Cambridge MA 1997 J D Ullman Elements of ML Programming ML97 Edition 2nd ed Prentice Hall Upper Saddle River NJ 1998 L C Paulson ML for the Working Programmer 2nd ed Cambridge University Press Cambridge 2010 There are also online references for Standard ML http www cs cmu edu rwh smlbook book pdf Programming in Standard ML by http www cs cmu edu rwh Robert Harper http www standardml org Basis The Standard ML Basis Library excellent manual http www smlnj

    Original URL path: http://cpntools.org/publications?do=edit&rev= (2016-04-26)
    Open archived version from archive

  • Publications << CPN Tools Homepage
    Loading Home Download Getting Started Documentation Support Contact Login You are currently not logged in Enter your authentication credentials below to log in You need to have cookies enabled to log in Login Username Password Remember me Forgotten your password

    Original URL path: http://cpntools.org/publications?do=login§ok=a36a2ccacaa83dc606eb4f10f40d3fb6 (2016-04-26)
    Open archived version from archive

  • << CPN Tools Homepage
    Support Contact Publications Loading Home Download Getting Started Documentation Support Contact This topic does not exist yet You ve followed a link to a topic that doesn t exist yet If permissions allow you may create it by using the

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/variables (2016-04-26)
    Open archived version from archive

  • Color set functions << CPN Tools Homepage
    set cs an alias color set for cs or a superset color set of cs cs mkstr c make string representation of a color cs mkstr ms ms make string representation of a multi set Examples of legal expressions INT lt 3 5 evaluates to true Weekend legal Mon evaluates to false Answer mkstr no evaluates to no INT mkstr ms 1 3 2 7 4 3 evaluates to 5 3 2 7 Examples of illegal expressions INT lt 3 true INT legal 3 1415 Input Output Operations cs input s read a color from input stream s cs input ms s read a multi set from input stream s cs output s c write color c to output stream s cs output ms s ms write multi set ms to output stream s Examples of use val fid TextIO openOut tmp outputfile txt INT output ms fid 1 3 2 7 TextIO closeOut fid For additional details about opening and closing text files see the TextIO structure in the SML Basis Library Manual Operations for small color sets The following functions can be used for all small color sets cs all multi set with one of each element in the colour set cs ran returns a random colour cs size number of elements in the colour set cs ord convert colour to number representing its position in the colour set where positions are numbered from 0 to cs size 1 cs col i convert position number to colour These functions also exist for large color sets However an exception will raised when these functions are invoked for large color sets Examples of useful expressions Day size evaluates to 7 Day col 0 evaluates to Mon SmallInt ran returns an integer between 1 and 10 Examples of expressions resulting in

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/colour_set_functions (2016-04-26)
    Open archived version from archive

  • Unit color set << CPN Tools Homepage
    13 page s Help Unit color set The unit color set comprises a single element denoted Declaration Syntax colset name unit with new unit Order trivial Optional with clause Renames the value that is defines the identifier representing The new value name must be an CPN ML identifier Declaration examples colset U unit colset E unit with e Operations See color set functions Simple color sets Unit color set Boolean

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/unit_colour_sets (2016-04-26)
    Open archived version from archive

  • Boolean color set << CPN Tools Homepage
    name bool with new false new true Order false before true Optional with clause Renames the values that is defines the identifiers representing true and false The new value names must be CPN ML identifier Declaration examples colset B bool colset Answer bool with no yes Boolean operations not b negation of the Boolean value b b1 andalso b2 Boolean conjunction and b1 orelse b2 Boolean disjunction i e inclusive

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/boolean_colour_sets (2016-04-26)
    Open archived version from archive



  •