## Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, Volume 1 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Informal Introduction to Coloured Petri Nets | 1 |

Bibliographical Remarks | 52 |

Formal Definition of Coloured Petri Nets | 65 |

Copyright | |

8 other sections not shown

### Other editions - View all

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Kurt Jensen Limited preview - 1997 |

Coloured Petri Nets: Basic Concepts, Analysis Methods and ..., Volume 1 Kurt Jensen Limited preview - 2013 |

### Common terms and phrases

allows the user Analogously arc expressions behaviour binding elements bound Chap code segments colour set Coloured Petri Nets command complex consider constructed contains corresponding CPN diagram CPN editor CPN ML CPN model CPN simulator CPN tools data base system declarations defined definition denote described dialogue box e-tokens empty enabled binding equivalence relation evaluates example Exercise formal analysis methods function fusion set graphical guard hierarchical CP-net IDEF Inactive initial marking initialization expressions inscriptions integer Intuitively invariants means multi-set nodes non-hierarchical CP-net non-hierarchical equivalent objects occurrence graph occurrence sequences operations page instances Petri nets place instance group places and transitions port assignment possible prime page programming languages properties PT-net place PT-net transitions q-processes reachable marking represent resource allocation system ring network SADT sender shown in Fig Site#ll specified Standard ML step structure subnet subpage substitution transitions supernode text strings tion token colours transition instance variables