Förutom vanliga platser, så kallade stabila, nollsäkra nät är utrustade med noll platser, som i en stabil märkning inte kan innehålla någon token. En utveckling mellan två stabila markeringar kan istället vara en komplex beräkning som kallas stabil transaktion, som kan använda noll platser, men som är atomär när den ses från stabila platser: ingen stabil token genereras i en transaktion kan återanvändas i samma transaktion. Varje nollsäkert nät har ett vanligt Place-Transition netto som sin abstrakta motsvarighet, där endast stabila platser upprätthålls, och där varje transaktion blir en övergång. De två näten gör det möjligt för oss att se på samma system ur både abstrakt och relativ synvinkel. För att uppnå detta resultat används ingen ny interaktionsmekanism, förutom de vanliga token-pushing reglerna för nät. De nollsäkra näten kan vara mycket mindre än motsvarande abstrakta P/T-nät, eftersom de utnyttjar en mekanism för övergångssynkronisering. Till exempel, när transaktioner av obegränsad längd är möjliga i ett nollsäkert nät, blir det abstrakta nätet i nite, även om det rened netto är nite. I den andra delen av tidningen används två universella konstruktioner - som båda följer Petrinäten är monoider och den kollektiva symboliska filosofin - för att ge bevis för naturligheten i vår uppfattning. Mer exakt karakteriseras den operativa semantiken för nollsäkra nät som ett komplement, och härledning av abstrakta P/T-nät som en kärnection.
TPNets är baserade på en stabil transaktion semantik ärvt från Zero-Safe Nets: ZSNs REF ), en klass av hög nivå Petri nät.
Zero-safe nets, or transition synchronization made simple
{'venue': 'Electr. Notes Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}