Branching Processes of general S/T-Systems and their properties

✍ Scribed by Stefan Haar

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 660 KB
• Volume: 18
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80250-6

✦ Synopsis

We introduce an alternative occurrence net semantics of S/T-systems which allows for arbitrary markings and arc weights. Our de nition, a branching version of Vogler's 10] execution semantics, will work for general systems, including unbounded ones and arc weights greater than one. Also, the principles in constructing the unfolding are di erent, making the de nition more general and, presumably, exible to include future extensions to di erent net classes.